EBOOK

Proceedings of the Summer School in Logik, Leeds, 1967


€ 42,99
 
kartoniert
Lieferbar innerhalb von 2-3 Tagen
Januar 1968

Beschreibung

Inhaltsverzeichnis

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.
EAN: 9783540042402
ISBN: 3540042407
Untertitel: N. A. T. O. Advanced Study Institute Meeting of the Association for Symbolic Logic. 1968. Auflage. Book. Sprache: Englisch.
Verlag: Springer
Erscheinungsdatum: Januar 1968
Seitenanzahl: 336 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben