Title: A Precis of Mathematical Logic / Edition 1, Author: J.M. Bochenski
Title: Topics in Philosophical Logic / Edition 1, Author: N. Rescher
Title: Sense and Reference in Frege's Logic / Edition 1, Author: C. Thiel
Title: Ontology and the Logistic Analysis of Language: An Enquiry into the Contemporary Views on Universals / Edition 1, Author: Guido Küng
Title: Morality, Decision and Social Organization: Toward a Logic of Ethics / Edition 1, Author: Karl Menger
Title: Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi / Edition 1, Author: K.A. Bowen
Title: Keith Lehrer / Edition 1, Author: R. Bogdan
Title: The Question of Being in Husserl's Logical Investigations / Edition 1, Author: J. Mensch
Title: Semantical Investigations in Heyting's Intuitionistic Logic / Edition 1, Author: Dov M. Gabbay
Title: Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings / Edition 1, Author: Rudi Studer
Title: Proof, Logic and Formalization / Edition 1, Author: Michael Detlefsen
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
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: 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: The Incompleteness Phenomenon / Edition 1, Author: Martin Goldstern
Title: Definability and Computability / Edition 1, Author: Yuri L. Ershov
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

Pagination Links