Title: Writing the History of Mathematics: Its Historical Development / Edition 1, Author: Joseph W. Dauben
Title: Word and Object, new edition, Author: Willard Van Orman Quine
Title: Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / Edition 1, Author: Samson Abramsky
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
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: The Structure of Emotions: Investigations in Cognitive Philosophy, Author: Robert M. Gordon
Title: The Semantics and Proof Theory of the Logic of Bunched Implications / Edition 1, Author: David J. Pym
Title: The Quantum of Explanation: Whitehead's Radical Empiricism / Edition 1, Author: Randall E. Auxier
Title: The Posing of Questions: Logical Foundations of Erotetic Inferences / Edition 1, Author: A. Wisniewski
Title: The Pleadings Game: An Artificial Intelligence Model of Procedural Justice / Edition 1, Author: Thomas F. Gordon
Title: The Mathematical Science of Christopher Wren / Edition 1, Author: J. A. Bennett
Title: The Foundational Debate: Complexity and Constructivity in Mathematics and Physics / Edition 1, Author: Werner DePauli-Schimanovich
Title: The Development of the Number Field Sieve / Edition 1, Author: Arjen K. Lenstra
Title: The Collected Mathematical Papers, Author: Arthur Cayley
Title: The Blackwell Guide to Philosophical Logic / Edition 1, Author: Lou Goble
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: Supererogation, Author: David Heyd
Title: Sets, Models and Proofs, Author: Ieke Moerdijk
Title: Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics, Author: Jan von Plato

Pagination Links