Proceedings of the Summer School in Logik, Leeds, 1967
Martin H. Löb
Broschiertes Buch

Proceedings of the Summer School in Logik, Leeds, 1967

N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

Versandkostenfrei!
Versandfertig in 1-2 Wochen
31,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
16 °P sammeln!
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.