Search
Lexile Level
AR Level
AR Level
Positive Topology: A New Practice in Constructive Mathematics 9780199232888 by
Sambin, Giovanni -
Oxford University Press,
-2026
Dewey: 510
N/A
Arithmetic, Proof Theory, and Computational Complexity 9780198536901 by
Clote, Peter -
Clarendon Press,
-1993
Dewey: 511.3
N/A
Computability and Randomness 9780199652600 by
Nies, Andre -
Oxford University Press,
-2012
Dewey: 511.352
N/A
N/A
Features and Fluents: The Representation of Knowledge about Dynamical Systemsvolume 1 9780198538455 by
Sandewall, Erik -
Clarendon Press,
-1995
Dewey: 006.33
N/A
Bolzano's Logical System 9780198788294 by
Casari, Ettore -
Oxford University Press,
-2016
Dewey: 160
N/A
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 9780198501275 by
Sambin, Giovanni -
Clarendon Press,
-1998
Dewey: 511.3
N/A
Foundations Without Foundationalism: A Case for Second-Order Logic (Revised) 9780198250296 by
Shapiro, Stewart -
Oxford University Press,
-2000
Dewey: 511.3
N/A
Interpolation and Definability: Modal and Intuitionistic Logic 9780198511748 by
Gabbay, Dov M -
Clarendon Press,
-2005
Dewey: 511.3
N/A
Structure of Models of Peano Arithmetic 9780198568278 by
Kossak, Roman -
Clarendon Press,
-2006
Dewey: 511.3
N/A
Introduction to Logic and to the Methodology of the Deductive Sciences 9780195044720 by
Tarski, Alfred -
Oxford University Press,
-1994
Dewey: 511.3
N/A
Recursion Theory for Metamathematics 9780195082326 by
Smullyan, Raymond M -
Oxford University Press,
-1993
Dewey: 511.35
1350
N/A
N/A
Elementary Categories, Elementary Toposes (Revised) 9780198514732 by
McLarty, Colin -
Clarendon Press,
-1996
Dewey: 511.3
N/A
Groups of Finite Morley Rank 9780198534457 by
Borovik, Alexandre -
Clarendon Press,
-1995
Dewey: 512.2
N/A
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control 9780198526339 by
Pym, David J -
Clarendon Press,
-2004
Dewey: 511.3
N/A
Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning 9780198503064 by
Rott, Hans -
Clarendon Press,
-2001
Dewey: 121.6
N/A
Set Theory: Boolean-Valued Models and Independence Proofs 9780199609161 by
Bell, John L -
Oxford University Press,
-2011
Dewey: 511.324
N/A
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics 9780198566519 by
Crosilla, Laura -
Clarendon Press,
-2005
Dewey: 511.36
N/A
Temporal Logic: Mathematical Foundations and Computational Aspectsvolume 2 9780198537687 by
Gabbay, Dov M -
Oxford University Press,
-2000
Dewey: 511.3
N/A
Algebraic Methods in Philosophical Logic 9780198531920 by
Dunn, J Michael -
Oxford University Press,
-2001
Dewey: 511.324
N/A