Martin H. Löb
Springer Berlin Heidelberg
1968e druk, 1968
9783540042402
Proceedings of the Summer School in Logik, Leeds, 1967
N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Specificaties
Paperback, 331 blz.
|
Engels
Springer Berlin Heidelberg |
1968e druk, 1968
ISBN13: 9783540042402
Rubricering
Onderdeel van serie
Lecture Notes in Mathematics
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Specificaties
ISBN13:9783540042402
Taal:Engels
Bindwijze:paperback
Aantal pagina's:331
Uitgever:Springer Berlin Heidelberg
Druk:1968
Inhoudsopgave
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.