Title: Mathematical Logic / Edition 1, Author: Joseph R. Shoenfield
Title: The Development of the Number Field Sieve / Edition 1, Author: Arjen K. Lenstra
Title: An Investigation of the Laws of Thought, Author: George Boole
Title: Grammatical Inference: Algorithms and Applications: 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings / Edition 1, Author: Arlindo L. Oliveira
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 Posing of Questions: Logical Foundations of Erotetic Inferences / Edition 1, Author: A. Wisniewski
Title: Internal Logic: Foundations of Mathematics from Kronecker to Hilbert / Edition 1, Author: Y. Gauthier
Title: Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, Author: Sergei Artemov
Title: Writing the History of Mathematics: Its Historical Development / Edition 1, Author: Joseph W. Dauben
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
Title: Essays on Husserl's Logic and Philosophy of Mathematics, Author: Stefania Centrone
Title: Learning and Modeling with Probabilistic Conditional Logic, Author: J. Fisseler
Title: Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1, Author: Egon Bïrger
Title: Felix Berezin: Life And Death Of The Mastermind Of Supermathematics, Author: Misha Shifman
Title: Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / Edition 1, Author: Samson Abramsky
Title: Differential Geometry of Three Dimensions: Volume 1, Author: C. E. Weatherburn
Title: A History of Elementary Mathematics, Author: Florian Cajori
Title: Principles of Geometry, Author: H. F. Baker
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: Algebraic Foundations of Many-Valued Reasoning / Edition 1, Author: R.L. Cignoli

Pagination Links