ISILC - Logic Conference edito da Springer Berlin Heidelberg
Alta reperibilità

ISILC - Logic Conference

Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

EAN:

9783540075349

ISBN:

3540075348

Pagine:
664
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione ISILC - Logic Conference

An observation on the product of Silver's forcing.- Recursively unsolvable algorithmic problems and related questions reexamined.- Lectures on large cardinal axioms.- Indescribability properties and small large cardinals.- Marginalia to a theorem of Silver.- Computation theories: An axiomatic approach to recursion on general structures.- Closed models and hulls of theories.- Axioms of choice in Morse-Kelley class theory.- First-order logic and its extensions.- Set theory in infinitary languages.- Sur la m¿ode en histoire de la logioue.- The model theory of local fields.- Quantifier elimination.- Intensional semantics for natural language.- On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes.- Many-valued algorithmic logic.- The least ? 2 1 and ? 2 1 reflecting ordinals.- Data types as lattices.

Spedizione gratuita
€ 80.49
o 3 rate da € 26.83 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro ISILC - Logic Conference
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti