Alta reperibilità
Proceedings of the Summer School in Logik, Leeds, 1967
N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
- Editore:
Springer Berlin Heidelberg
- Collana:
- Lecture Notes In Mathematics
- EAN:
9783540042402
- ISBN:
3540042407
- Pagine:
- 336
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione 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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti