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: Logic, Meaning and Computation: Essays in Memory of Alonzo Church / Edition 1, Author: C. Anthony Anderson
Title: Deduction: Introductory Symbolic Logic / Edition 2, Author: Daniel Bonevac
Title: Process, Reality, and the Power of Symbols: Thinking with A.N. Whitehead / Edition 1, Author: M. Code
Title: An Investigation of the Laws of Thought, Author: George Boole
Title: Topics in Philosophical Logic / Edition 1, Author: N. Rescher
Title: Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26 / Edition 1, Author: Ali Enayat
Title: Logicism, Intuitionism, and Formalism: What Has Become of Them? / Edition 1, Author: Sten Lindström
Title: A Guide to NIP Theories, Author: Pierre Simon
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: Dynamic Epistemic Logic / Edition 1, Author: Hans van Ditmarsch
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: Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, Author: T.V. Gopal

Pagination Links