Proceedings of the Summer School in Logik, Leeds, 1967
N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Seiten
1968
Springer Berlin (Verlag)
978-3-540-04240-2 (ISBN)
Springer Berlin (Verlag)
978-3-540-04240-2 (ISBN)
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.
| Erscheint lt. Verlag | 1.1.1968 |
|---|---|
| Reihe/Serie | Lecture Notes in Mathematics |
| Zusatzinfo | IV, 331 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 472 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | arithmetic • Calculus • Function • Logic • Proof • Proof theory |
| ISBN-10 | 3-540-04240-7 / 3540042407 |
| ISBN-13 | 978-3-540-04240-2 / 9783540042402 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
CHF 23,75
