Title: Infinitary Combinatorics and the Axiom of Determinateness / Edition 1, Author: E. M. Kleinberg
Title: Philosophical Papers: Volume 1, Mathematics, Matter and Method / Edition 2, Author: Hilary Putnam
Title: The Structure of Emotions: Investigations in Cognitive Philosophy, Author: Robert M. Gordon
Title: Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings / Edition 1, Author: Rudi Studer
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
Title: The Development of the Number Field Sieve / Edition 1, Author: Arjen K. Lenstra
Title: Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1, Author: Egon Bïrger
Title: Berkeley's Philosophy of Mathematics / Edition 2, Author: Douglas M. Jesseph
Title: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings / Edition 1, Author: Michael Clarke
Title: Counterfactual Thought Experiments in World Politics: Logical, Methodological, and Psychological Perspectives / Edition 1, Author: Philip E. Tetlock
Title: Nonmonotonic Logics: Basic Concepts, Results, and Techniques / Edition 1, Author: Karl Schlechta
Title: Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems: IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers / Edition 1, Author: Trevor Martin
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
Title: Basic Proof Theory / Edition 2, Author: A. S. Troelstra
Title: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / Edition 1, Author: Mark Aagaard
Title: Grammatical Inference: Algorithms and Applications: 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings / Edition 1, Author: Arlindo L. Oliveira
Title: Mathematical Logic / Edition 1, Author: Joseph R. Shoenfield
Title: Recursion Theory: Lecture Notes in Logic 1 / Edition 1, Author: Joseph R. Shoenfield
Title: Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / Edition 1, Author: Samson Abramsky
Title: The Blackwell Guide to Philosophical Logic / Edition 1, Author: Lou Goble

Pagination Links