1- 20 of 1101 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, Author: Mauricio Ayala-Rincón
QUICK ADD
Interactive Theorem Proving:…
by Mauricio Ayala-Rincón, César A. Muñoz
#10499 in Series
Paperback $54.99
Title: The Art of Reasoning: An Introduction to Logic / Edition 5, Author: David Kelley
QUICK ADD
The Art of Reasoning: An…
by David Kelley, Debby Hutchins
Other Format $113.75
Title: Logic, Language, and Mathematics: Themes from the Philosophy of Crispin Wright, Author: Alexander Miller
QUICK ADD
Logic, Language, and…
by Alexander Miller
Hardcover $120.00
Title: Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism, Author: Jared Warren
QUICK ADD
Shadows of Syntax:…
by Jared Warren
Hardcover $130.00
Title: The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science / Edition 1, Author: Lê Nguyên Hoang
QUICK ADD
The Equation of Knowledge:…
by Lê Nguyên Hoang
Hardcover $69.99
Title: Complexity and Randomness in Group Theory: GAGTA BOOK 1 / Edition 1, Author: Frédérique Bassino
QUICK ADD
Complexity and Randomness in…
by Frédérique Bassino, Ilya Kapovich, Markus Lohrey, Alexei Miasnikov, Cyril Nicaud
Hardcover $192.99
Title: Empty And The Full, The: Li Ye And The Way Of Mathematics - Geometrical Procedures By Section Of Areas, Author: Charlotte-v Pollet
QUICK ADD
Empty And The Full, The: Li Ye…
by Charlotte-v Pollet
Hardcover $98.00
Title: Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic, Author: Fenrong Liu
QUICK ADD
Knowledge, Proof and Dynamics:…
by Fenrong Liu, Hiroakira Ono, Junhua Yu
Explore Series
Hardcover $169.99
Title: Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings, Author: Uli Fahrenberg
QUICK ADD
Relational and Algebraic…
by Uli Fahrenberg (Editor), Peter Jipsen (Editor), Michael Winter (Editor)
#12062 in Series
Paperback $54.99
Title: Hegel on Possibility: Dialectics, Contradiction, and Modality, Author: Nahum Brown
QUICK ADD
Hegel on Possibility:…
by Nahum Brown
Hardcover $135.00
Title: Knowledge and the Philosophy of Number: What Numbers are and How they Are Known, Author: Keith Hossack
QUICK ADD
Knowledge and the Philosophy…
by Keith Hossack, Christopher Gauker, Johannes L. Brandl, Mark Textor, Max Kolbel
Explore Series
Hardcover $135.00
Title: Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings, Author: Andreas Herzig
QUICK ADD
Foundations of Information and…
by Andreas Herzig, Juha Kontinen
#12012 in Series
Paperback $54.99
Title: Diagonalization in Formal Mathematics, Author: Paulo Guilherme Santos
QUICK ADD
Diagonalization in Formal…
by Paulo Guilherme Santos
Explore Series
Paperback $54.99
Title: Graham Priest on Dialetheism and Paraconsistency, Author: Can Baskent
QUICK ADD
Graham Priest on Dialetheism…
by Can Baskent, Thomas Macaulay Ferguson
#18 in Series
Hardcover $199.99
Title: Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory, Author: Peter M. Schuster
QUICK ADD
Well-Quasi Orders in…
by Peter M. Schuster, Monika Seisenberger, Andreas Weiermann
#53 in Series
Hardcover $199.99
Title: Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy, Author: Ronald de Haan
QUICK ADD
Parameterized Complexity in…
by Ronald de Haan
#11880 in Series
Paperback $89.99
Title: The Logical Foundations of Scientific Theories: Languages, Structures, and Models / Edition 1, Author: Decio Krause
QUICK ADD
The Logical Foundations of…
by Decio Krause, Jonas R.B. Arenhart
Explore Series
Paperback $56.99
Title: Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory, Author: Justus Diller
QUICK ADD
Functional Interpretations:…
by Justus Diller
Hardcover $98.00
Title: Arabic Logic from al-Farabi to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics, Author: Saloua Chatti
QUICK ADD
Arabic Logic from al-Farabi to…
by Saloua Chatti
Explore Series
Paperback $99.99
Title: Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, Author: Stefania Centrone
QUICK ADD
Reflections on the Foundations…
by Stefania Centrone, Deborah Kant, Deniz Sarikaya
#407 in Series
Hardcover $169.99

Pagination Links