Title: Soft Computing Methods in Human Sciences / Edition 1, Author: Vesa A Niskanen
Title: Automated Theory Formation in Pure Mathematics / Edition 1, Author: Simon Colton
Title: Computable Analysis: An Introduction / Edition 1, Author: Klaus Weihrauch
Title: Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings / Edition 1, Author: Peter Baumgartner
Title: The Incompleteness Phenomenon / Edition 1, Author: Martin Goldstern
Title: Mental Logic / Edition 1, Author: Martin D.S. Braine
Title: Schleiermacher and Whitehead: Open Systems in Dialogue / Edition 1, Author: Christine Helmer
Title: Philosophie der Mathematik / Edition 4, Author: Thomas Bedürftig
Title: Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Author: Carsten Lutz
Title: Proof Technology and Computation: Volume 200 NATO Science Series, Computer and Systems Sciences, Author: K. Spies
Title: Logic and Information, Author: Keith Devlin
Title: Argumentation Schemes for Presumptive Reasoning / Edition 1, Author: Douglas Walton
Title: Computational Intelligence In Decision And Control - Proceedings Of The 8th International Flins Conference, Author: Da Ruan
Title: The Logical Foundations of Cognition, Author: John Macnamara
Title: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms / Edition 1, Author: Igor Lavrov
Title: Appraising Lakatos: Mathematics, Methodology, and the Man / Edition 1, Author: György Kampis
Title: For the Sake of the Argument: Ramsey Test Conditionals, Inductive Inference and Nonmonotonic Reasoning, Author: Isaac Levi
Title: Reading, Writing, and Proving: A Closer Look at Mathematics / Edition 2, Author: Ulrich Daepp
Explore Series
Paperback from $58.29 $74.95 Current price is $58.29, Original price is $74.95.
Title: Quantifiers, Questions and Quantum Physics: Essays on the Philosophy of Jaakko Hintikka / Edition 1, Author: Daniel Kolak
Title: Basic Proof Theory / Edition 2, Author: A. S. Troelstra

Pagination Links