Articoli correlati a Isilc - Logic Conference: Proceedings of the International...
Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974: 499 - Brossura
Sinossi
Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,33
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Isilc - Logic Conference: Proceedings of the International...
Foto dell'editore
ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 (Lecture Notes in Mathematics)
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo M03540075348-G
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic Conference : proceedings of the Internat. Summer Inst. and Logic Colloquium, Kiel 1974. Lecture notes in mathematics, vol. 499
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: 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. Codice articolo 2208448
Quantità: 1 disponibili
Foto dell'editore
ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Editore:
Springer Berlin Heidelberg, 1975
ISBN 10: 3540075348
ISBN 13: 9783540075349
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 664 | Sprache: Englisch | Produktart: Bücher. Codice articolo 4313413/202
Quantità: 1 disponibili
Immagini fornite dal venditore
ISILC Logic Conference. Proceedings of the International Summer Institute and Logic Colloquium Kiel 1974.
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. 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. Codice articolo 2485738
Quantità: 1 disponibili
Immagini fornite dal venditore
ISILC - Logic Conference
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 4879641
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
ISILC - Logic Conference
Editore:
Springer Berlin Heidelberg Dez 1975, 1975
ISBN 10: 3540075348
ISBN 13: 9783540075349
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540075349
Quantità: 2 disponibili
Immagini fornite dal venditore
ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Editore:
Springer Berlin Heidelberg, 1975
ISBN 10: 3540075348
ISBN 13: 9783540075349
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. 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. Codice articolo 9783540075349
Quantità: 1 disponibili
Immagini fornite dal venditore
ISILC - Logic Conference
ISBN 10: 3540075348
ISBN 13: 9783540075349
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. 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. Codice articolo 9783540075349
Quantità: 2 disponibili
Foto dell'editore
ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 (Lecture Notes in Mathematics, 499)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540075349_new
Quantità: Più di 20 disponibili
Foto dell'editore
Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540075349
Quantità: 10 disponibili