Da: Antiquariat Bookfarm, Löbnitz, Germania
EUR 5,00
Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01855 3540075348 Sprache: Englisch Gewicht in Gramm: 1150.
Condizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,65
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 74,82
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Buchpark, Trebbin, Germania
EUR 8,09
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Da: medimops, Berlin, Germania
EUR 8,38
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1975
ISBN 10: 3540075348 ISBN 13: 9783540075349
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,45
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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¿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.
Da: preigu, Osnabrück, Germania
EUR 50,30
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. ISILC - Logic Conference | Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 | G. H. Müller (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1975 | Springer | EAN 9783540075349 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.