Buy One, Get One 50% Off Our Monthly Picks!
Shop Now
Title: Coherent Systems, Author: Karl Schlechta
Title: Substructural Logics, Author: Peter Schroeder-Heister
Title: Nonstandard Queries and Nonstandard Answers, Author: R. Demolombe
Title: What Is a Logical System?, Author: D. M. Gabbay
Title: Conditionals: From Philosophy to Computer Science, Author: G. Crocco
Title: Logical Reasoning with Diagrams, Author: Gerard Allwein
Title: A New Approach to Quantum Logic, Author: K. Engesser
Title: Handbook of Paraconsistency, Author: J. Y. Beziau
Title: A Paradigm for Program Semantics: Power Structures and Duality, Author: Chris Brink
Title: Games Iteration Numbers: A Philosophical Introduction to Computability Theory, Author: Luca M. Possati
Title: Set Theory An Introduction To Independence Proofs / Edition 8, Author: K. Kunen
Title: Constructivism in Mathematics, Vol 1, Author: A.S. Troelstra
Title: Constructivism in Mathematics: An Introduction, Author: A.S. Troelstra
Title: Constructivism in Mathematics, Vol 2, Author: A.S. Troelstra
Title: Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers / Edition 2, Author: P. Odifreddi
Title: Logical Frameworks for Truth and Abstraction: An Axiomatic Study, Author: A. Cantini
Title: Admissibility of Logical Inference Rules, Author: V.V. Rybakov
Title: Handbook of Proof Theory, Author: S.R. Buss
Title: Handbook of Computability Theory, Author: E.R. Griffor
Title: Categorical Logic and Type Theory, Author: B. Jacobs

Pagination Links