Author(s)
Bibliographic Information
Oxford logic guides
Clarendon Press , Oxford University Press
- Other Title
-
OLG
Search this Book/Journal
-
1
- Fragments of first-order logic
-
Ian Pratt-Hartmann
Oxford University Press c2023 Oxford logic guides 56 , Oxford science publications
Available at 3 libraries
-
2
- Consequence relations : an introduction to the Lindenbaum-Tarski method
-
Alex Citkin, Alexei Muravitsky
Oxford University Press c2022 Oxford logic guides 55
Available at 1 libraries
-
3
- Bolzano's logical system
-
Ettore Casari
Oxford University Press 2016 Oxford logic guides 54 , Oxford science publications
Available at 7 libraries
-
4
- Simplicity theory
-
Byunghan Kim
Oxford University Press 2014 Oxford logic guides 53 , Oxford science publications
Available at 7 libraries
-
5
- Computability and randomness
-
André Nies
Oxford University Press 2012, c2009 Oxford logic guides 51
: pbk
Available at 8 libraries
-
6
- Category theory
-
Steve Awodey
Oxford University Press 2011, c2010 2nd ed Oxford logic guides 52
: pbk
Available at 1 libraries
-
7
- Set theory : Boolean-valued models and independence proofs
-
John L. Bell
Clarendon Press 2011 3rd ed Oxford logic guides 47
: pbk
Available at 7 libraries
-
8
- Category theory
-
Steve Awodey
Oxford University Press 2010 2nd ed Oxford logic guides 52
: hard , : pbk
Available at 73 libraries
-
9
- Computability and randomness
-
André Nies
Oxford University Press 2009 Oxford logic guides 51 , Oxford science publications
Available at 11 libraries
-
10
- The structure of models of Peano arithmetic
-
Roman Kossak, James H. Schmerl
Clarendon , Oxford University Press 2006 Oxford logic guides 50 , Oxford science publications
Available at 17 libraries
-
11
- Category theory
-
Steve Awodey
Clarendon , Oxford University Press 2006 Oxford logic guides 49
Available at 18 libraries
-
12
- Algebraic methods in philosophical logic
-
J. Michael Dunn and Gary M. Hardegree
Clarendon Press , Oxford University Press 2005, c2001 Oxford logic guides 41
Available at 1 libraries
-
13
- From sets and types to topology and analysis : towards practicable foundations for constructive mathematics
-
edited by Laura Crosilla and Peter Schuster
Clarendon Press 2005 Oxford logic guides 48
Available at 15 libraries
-
14
- Interpolation and definability : modal and intuitionistic logics
-
D.M. Gabbay, L. Maksimova
Clarendon Press 2005 Oxford logic guides 46
Available at 17 libraries
-
15
- Set theory : Boolean-valued models and independence proofs
-
John L. Bell
Clarendon Press 2005 3rd ed Oxford logic guides 47
Available at 22 libraries
-
16
- Reductive logic and proof-search : proof theory, semantics, and control
-
David J. Pym and Eike Ritter
Clarendon Press , Oxford University Press 2004 Oxford logic guides 45
: hbk
Available at 13 libraries
-
17
- Sketches of an elephant : a topos theory compendium
-
Peter T. Johnstone
Clarendon Press , Oxford University Press c2002 Oxford logic guides 43-44
v. 1 , v. 2 , : set
Available at 41 libraries
-
18
- Change, choice and inference : a study of belief revision and nonmonotonic reasoning
-
Hans Rott
Clarendon Press , Oxford University Press 2001 Oxford logic guides 42
Available at 11 libraries
-
19
- Algebraic methods in philosophical logic
-
J. Michael Dunn and Gary M. Hardegree
Clarendon Press , Oxford University Press 2001 Oxford logic guides 41
Available at 23 libraries
-
20
- Elements of intuitionism
-
Michael Dummett
Clarendon Press , Oxford University Press 2000 2nd ed Oxford logic guides 39
Available at 34 libraries