Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais Allemand |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in mathematics
70 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Contributions en anglais, sauf une en allemand Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Proceedings of the Summer School in Logik, Leeds, 1967, Texte imprimé, 9783540042402 • Proceedings of the Summer School in Logik, Leeds, 1967, Texte imprimé, 9783662194294 |
Sumário:
- Lectures on proof theory
- Partitions and models
- Klassen rekursiver funktionen
- Hyperarithmetic ultrafilters
- Recursive equivalence: A survey
- Half-ring morphologies
- Formalisations of some ?0 ?ukasiewicz propositional calculi
- Theories which are not ?o-categorical
- The monadic fragment of predicate calculus with the Chang quantifier and equality
- The ? 1 1 -comprehension schema and ?-rules.