Title: Mathematical Logic / Edition 1, Author: Joseph R. Shoenfield
Title: Basic Proof Theory / Edition 2, Author: A. S. Troelstra
Title: The Quantum of Explanation: Whitehead's Radical Empiricism / Edition 1, Author: Randall E. Auxier
Title: Counterfactual Thought Experiments in World Politics: Logical, Methodological, and Psychological Perspectives / Edition 1, Author: Philip E. Tetlock
Title: Deduction: Introductory Symbolic Logic / Edition 2, Author: Daniel Bonevac
Title: Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, Author: J. Christopher Beck
Title: Essays on Husserl's Logic and Philosophy of Mathematics, Author: Stefania Centrone
Title: Proof and System-Reliability / Edition 1, Author: Helmut Schwichtenberg
Title: Truth, Proof and Infinity: A Theory of Constructive Reasoning / Edition 1, Author: P. Fletcher
Title: Leibniz und die moderne Naturwissenschaft, Author: Jïrgen Jost
Title: Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, Author: T.V. Gopal
Title: Cengage Advantage Books: Understanding Arguments: An Introduction to Informal Logic / Edition 9, Author: Walter Sinnott-Armstrong
Title: Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / Edition 1, Author: Samson Abramsky
Title: Writing the History of Mathematics: Its Historical Development / Edition 1, Author: Joseph W. Dauben
Title: A Textbook of Belief Dynamics: Theory Change and Database Updating / Edition 1, Author: Sven Ove Hansson
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: Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings / Edition 1, Author: Rudi Studer
Title: E-Commerce and Intelligent Methods / Edition 1, Author: Javier Segovia
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: Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics, Author: Jan von Plato

Pagination Links