Title: (Co)end Calculus, Author: Fosco Loregian
Title: 18 Unconventional Essays on the Nature of Mathematics, Author: Reuben Hersh
Title: 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980, Author: Wolfgang Bibel
Title: 6000 Jahre Mathematik: Eine kulturgeschichtliche Zeitreise - 1. Von den Anfängen bis Leibniz und Newton, Author: Hans Wußing
Title: 7th International Conference on Automated Deduction: Proceedings, Author: R. E. Shostak
Title: 8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings, Author: Jïrg H. Siekmann
Title: 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings, Author: Ewing Lusk
Title: ?-Bibliography of Mathematical Logic: Classical Logic, Author: Wolfgang Rautenberg
Title: ?-Bibliography of Mathematical Logic: Model Theory, Author: Wolfgang Lenski
Title: ?-Bibliography of Mathematical Logic: Non-Classical Logics, Author: Wolfgang Rautenberg
Title: ?-Bibliography of Mathematical Logic: Recursion Theory, Author: Peter G. Hinman
Title: A Boole Anthology: Recent and Classical Studies in the Logic of George Boole, Author: James Gasser
Title: A Bridge to Higher Mathematics, Author: Valentin Deaconu
Title: A Brief History of Analysis: With Emphasis on Philosophy, Concepts, and Numbers, Including Weierstraß' Real Numbers, Author: Detlef D. Spalt
Title: A Comet of the Enlightenment: Anders Johan Lexell's Life and Discoveries, Author: Johan C.-E. Stén
Title: A Commentary to Hegel's Science of Logic, Author: Palgrave Macmillan UK
Title: A Concise Introduction to Mathematical Logic, Author: Wolfgang Rautenberg
Title: A Concise Introduction to Pure Mathematics, Author: Martin Liebeck
Title: A Course in Mathematical Logic for Mathematicians, Author: Yu. I. Manin
Title: A Course on Basic Model Theory, Author: Haimanti Sarbadhikari

Pagination Links