Proceedings of the Summer School in Logik, Leeds, 1967
N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
42.75 €
Produktdetails
Produktinformationen zu „Proceedings of the Summer School in Logik, Leeds, 1967 “
Klappentext zu „Proceedings of the Summer School in Logik, Leeds, 1967 “
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.
Inhaltsverzeichnis zu „Proceedings of the Summer School in Logik, Leeds, 1967 “
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.
Bibliographische Angaben
- Autor: Martin H. Löb
- 1968, 336 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540042407
- ISBN-13: 9783540042402
- Erscheinungsdatum: 01.01.1968
Sprache:
Englisch
Kommentar zu "Proceedings of the Summer School in Logik, Leeds, 1967"
0 Gebrauchte Artikel zu „Proceedings of the Summer School in Logik, Leeds, 1967“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Proceedings of the Summer School in Logik, Leeds, 1967".
Kommentar verfassen