Proceedings of the Summer School in Logik, Leeds, 1967 di Martin H. Löb edito da Springer Berlin Heidelberg
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

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.

Spedizione gratuita
€ 68.73
o 3 rate da € 22.91 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Proceedings of the Summer School in Logik, Leeds, 1967
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti