Title: Writing the History of Mathematics: Its Historical Development / Edition 1, Author: Joseph W. Dauben
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: Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV / Edition 1, Author: David Makinson
Title: Topics in Philosophical Logic / Edition 1, Author: N. Rescher
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 Semantics and Proof Theory of the Logic of Bunched Implications / Edition 1, Author: David J. Pym
Title: The Question of Being in Husserl's Logical Investigations / Edition 1, Author: J. Mensch
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 Incompleteness Phenomenon / Edition 1, Author: Martin Goldstern
Title: The Foundational Debate: Complexity and Constructivity in Mathematics and Physics / Edition 1, Author: Werner DePauli-Schimanovich
Title: The Collected Mathematical Papers, Author: Arthur Cayley
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: Sense and Reference in Frege's Logic / Edition 1, Author: C. Thiel
Title: Semantical Investigations in Heyting's Intuitionistic Logic / Edition 1, Author: Dov M. Gabbay
Title: Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics, Author: Jan von Plato

Pagination Links