Isbn: 9783540075349 - isilc - logic conference: proceedings of the international summer institute and logic colloquium, kiel 1974: 499 (lecture notes in mathematics, 499) (9 resultados)

Broschiert. Condición: Gut. IV, 651 S. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 950. …

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Paperback. Condición: New.

Condición: New. In English.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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éthode 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.…

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 664 | Sprache: Englisch | Produktart: Bücher | 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.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 664 pp. Englisch, Französisch.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 664 pp. Englisch.…