Title: 18 Unconventional Essays on the Nature of Mathematics / Edition 1, Author: Reuben Hersh
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 / Edition 1, Author: Jïrg H. Siekmann
Title: 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings / Edition 1, Author: Ewing Lusk
Title: A Concise Introduction to Pure Mathematics / Edition 4, Author: Martin Liebeck
Title: A Course of Analysis, Author: E. G. Phillips
Title: A Course on Basic Model Theory, Author: Haimanti Sarbadhikari
Title: A Critical Study in Method / Edition 1, Author: H. Khathchadourian
Title: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity, Author: Shawn Hedman
Title: A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns / Edition 1, Author: Piero Pagliani
Title: A Logical Approach to Philosophy: Essays in Honour of Graham Solomon / Edition 1, Author: David DeVidi
Title: A Survey of the Almagest: With Annotation and New Commentary by Alexander Jones, Author: Olaf Pedersen
Title: A Textbook of Belief Dynamics: Theory Change and Database Updating / Edition 1, Author: Sven Ove Hansson
Title: A Treatise on Universal Algebra: With Applications, Author: Alfred North Whitehead
Title: Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1, Author: Werner Kluge
Title: Advanced Logic for Applications / Edition 1, Author: R.E. Grandy
Title: Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / Edition 1, Author: Michael Hanus
Title: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1, Author: Helene Kirchner
Title: Algebraic Automata Theory, Author: M. Holcombe
Title: Algebraic Foundations of Many-Valued Reasoning / Edition 1, Author: R.L. Cignoli

Pagination Links