Title: (Co)end Calculus, Author: Fosco Loregian
Title: 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980, Author: Wolfgang Bibel
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 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
Title: A Course on Mathematical Logic, Author: Shashi Mohan Srivastava
Title: A Critical Study in Method, Author: H. Khathchadourian
Title: A General Algebraic Semantics for Sentential Logics, Author: Josep M. Font
Title: A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns, Author: Piero Pagliani

Pagination Links