1 books for « muller g h obersch... »Edit

‎ISILC Logic Conference - Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (Mathematical Logic) , Lecture Notes in Mathematics, volume 499 (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 logique - The model theory of local fields - Quantifier elimination - Intensional semantics for natural languages - On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - Many-valued algorithmic logic - Data types as lattices)‎

‎Springer-Verlag - Springer , Lecture Notes in Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1975 Book condition, Etat : Bon paperback, editor's yellow and black printed wrappers grand In-8 1 vol. - 655 pages‎

‎ 1st edition, 1975 Contents, Chapitres : Contents, v, Text, 651 pages - Z. Adamowicz : An observation on the product of Silver's forcing - E. Borger : Recursively unsolvable algorithmic problems and related questions reexamined - M. Boos : Lectures on large cardinal axioms - K. Devlin : Indescribability properties and small large cardinals - K. Devlin and R. Jensen : Marginalia to a theorem of Silver - J. Fenstad : Computation theories : An axiomatic approach to recursion on general structures - R. Fittler : Closed models and hulls of theories - T. Flannagan : Axioms of choice in Morse-Kelley class theory - J. Flum : First-order logic and its extensions - K. Gloede : Set theory in infinitary languages - C. Imbert : Sur la méthode en histoire de la logique - S. Kochen : The model theory of local fields - P. Krauss : Quantifier elimination - F. v. Kutschers : Intensional semantics for natural languages - W. Marek and A. Mostwocki : On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - H. Rasiowa : Many-valued algorithmic logic - D. Scott : Data types as lattices wrappers are clean with minor folding tracks on corners of the bottom part, inside is clean, paper is lightly yellowing, the former owner had underlined very few lines at red ink with rules, about 25 lines, the text remains clean, his signature on the corner of the first page, it's still a good reading copy‎