Berlin, Heidelberg Springer 1975 1975 ed. Trade paperback New. Text in English, French. Trade paperback (US). Glued binding. 651 p. Lecture Notes in Mathematics, 499.

ISBN10: 3540075348, ISBN13: 9783540075349, [publisher: Springer 1975-12] Softcover
[Wallingford, United Kingdom] [Publication Year: 1975]

ISBN10: 3540075348, ISBN13: 9783540075349, [publisher: Springer] Softcover Very Good
[Redhill, SURRE, United Kingdom] [Publication Year: 1975]

ISBN10: 3540075348, ISBN13: 9783540075349, [publisher: Springer] Softcover 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.
[Berlin, Germany] [Publication Year: 1975]

ISBN10: 3540075348, ISBN13: 9783540075349, [publisher: Springer Berlin Heidelberg] Softcover 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.
[Einbeck, Germany] [Publication Year: 1975]
Show/Hide image

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974. ISBN 3540075348 9783540075349 [GB]