‎GOODSTEIN, R. L.‎
‎Mathematical Logic.‎

‎Mathematical Logic Revised Edition‎

‎Harvard University Press 1981 358 pages 13 9x20 1x2 9cm. 1981. Broché. 358 pages.‎

‎Très bon état ex-libris légère ternissure sur la tranche du bas‎

‎Novikov P. S. Elements of mathematical logic. In Russian /Novikov P. S. Element‎

‎Novikov P. S. Elements of mathematical logic. In Russian /Novikov P. S. Elementy matematicheskoy logiki. Series: Mathematical Logic and the Foundations of Mathematics. Editor S. I. Adyan. Moscow. 1959. 400 p. We have thousands of titles and often several copies of each title may be available. Please feel free to contact us for a detailed description of the copies available. SKUalbbce060abe2484fa7.‎

‎Studii di logica matematica. (Studies in Mathematical Logic).‎

‎Torino, Carlo Clausen, 1897. In: Atti della R. Accademia delle Scienze di Torino, Vol. XXXII, Disp. 11a, 1896-97, pp. 565-83. Royal8vo. Original printed wrappers. Some small tears. Wrappers loosening. Paper label pasted to front wrapper. Internally fine and clean. Uncut and unopened.‎

‎First edition.'In this work he is concerned with reducing the number of undefined terms to a minimum ... It was in this article that he introduced the symbol (left-facing E) for existence ... This paper also contains remarks on Frege's mathematical logic ...' (Kennedy, Life and works of Giuseppe Peano, p.68-69.) Frege and Peano worked independently on many of the same subjects in mathematical logic using each their own symbolism. Frege used a cumbrous two-dimensional system. It was Peano's notation which survived and was used in the 'Principia Mathematica'.Kennedy, No. 91.‎

‎The Incompleteness Phenomenon: A New Course in Mathematical Logic‎

‎A K Peters/CRC Press 1998 264 pages 15 24x1 78x22 61cm. 1998. Broché. 264 pages.‎

‎proche du neuf ex-libris légères ternissures sur la tranche‎

‎Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover, 1966 (Logique mathématique) , Studies in Logic and the Foundations of Mathematics (Saturated intuitionistic theories - Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - On recursively unsolvable problems in topology and their classification - Constructive thermodynamics - A deduction theorem for inferential predicate - Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - Equational maps - Some forms of models of proportional calculi - Lenghts of formulas and elimination of quantifiers I - A decision procedure for the weak second order theory of linear order - Strukturzahlen in endlichen Relationssystemen - A survey of some connections between classical intuitionistic and minimal logic - Zur Semantik der intuitionischen Aussagenlogik - Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - Reflection principles of subsystems of analysis -Equational logic and equational theories of algebras - The use of Brouwer's principle in intuitionistic topology)‎

‎North-Holland Publishing Company , Studies in Logic and the Foundations of Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon hardcover, editor's yellow printed binding, no dust-jacket grand In-8 1 vol. - 309 pages‎

‎ 1st edition, 1968 Contents, Chapitres : Contents, Preface, xi, Text, 298 pages - P.H.G. Aczel : Saturated intuitionistic theories - W.W. Boone : Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - W.W. Boone, W. Haken and V. Poenaru : On recursively unsolvable problems in topology and their classification - W.K. Burton : Constructive thermodynamics - H.B. Curry : A deduction theorem for inferential predicate - J. Diller : Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - W. Felscher : Equational maps - R. Harrop : Some forms of models of proportional calculi - L. Hodes and E. Speckler : Lenghts of formulas and elimination of quantifiers I - H. Lauchli : A decision procedure for the weak second order theory of linear order - W. Obserschelp : Strukturzahlen in endlichen Relationssystemen - D. Prawitz and P.-E. Malmnas : A survey of some connections between classical intuitionistic and minimal logic - K. Schütte : Zur Semantik der intuitionischen Aussagenlogik - D. Siefkes : Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - G. Takeuti and M. Yasugi : Reflection principles of subsystems of analysis - A. Tarski : Equational logic and equational theories of algebras - A.S. Troelstra : The use of Brouwer's principle in intuitionistic topology the editor's binding is fine but without dust-jacket, inside is good, adhesives tracks on the end-paper (first and last pages), the former owner had underlined very few lines at red ink with rules, on about 20 lines, the text remains clean, it's still a good copy in the first edition, 1968, no other markings‎