Title: Mathematical Logic / Edition 1, Author: Joseph R. Shoenfield
Title: Basic Proof Theory / Edition 2, Author: A. S. Troelstra
Title: The Development of the Number Field Sieve / Edition 1, Author: Arjen K. Lenstra
Title: Word and Object, new edition, Author: Willard Van Orman Quine
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: An Investigation of the Laws of Thought, Author: George Boole
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: Infinitary Combinatorics and the Axiom of Determinateness / Edition 1, Author: E. M. Kleinberg
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

Pagination Links