1 |
2
Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio
Oxford : Clarendon Press , 1977
|
2 |
5
Classical propositional operators : an exercise in the foundations of logic / by Krister Segerberg
Oxford : Clarendon Press , 1982. - New York : Oxford University Press
|
3 |
7
Formal number theory and computability : a workbook / by Alec Fisher
: pbk. - Oxford [Oxfordshire] : Clarendon Press , 1982
|
4 |
9
Subrecursion : functions and hierarchies / H.E. Rose
: U.S.. - Oxford [Oxfordshire] : Clarendon Press. - New York : Oxford University Press , 1984
|
5 |
10
Cantorian set theory and limitation of size / Michael Hallett
: pbk. - Oxford [Oxfordshire] : Clarendon Press , 1984
|
6 |
13
Computability theory, semantics, and logic programming / Melvin Fitting
New York : Oxford University Press. - Oxford : Clarendon Press , 1987
|
7 |
14
Toposes and local set theories : an introduction / J.L. Bell
Oxford : Clarendon Press. - Tokyo : Oxford University Press , 1988
|
8 |
15
Models of Peano arithmetic / Richard Kaye
Oxford : Clarendon Press. - New York : Oxford University Press , 1991
|
9 |
16
Relative category theory and geometric morphisms : a logical approach / Jonathan Chapman and Frederick Rowbottom
Oxford : Clarendon Press. - New York : Oxford University Press , 1992
|
10 |
17
Foundations without foundationalism : a case for second-order logic / Stewart Shapiro
: pbk. - Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 1991
|
11 |
18
A study of logics / John P. Cleave
Oxford : Clarendon Press. - New York : Oxford University Press , 1991
|
12 |
19
Gödel's incompleteness theorems / Raymond M. Smullyan
New York : Oxford University Press , 1992
|
13 |
20
Set theory with a universal set : exploring an untyped universe / T.E. Forster
Oxford : Clarendon Press. - New York : Oxford University Press , 1992
|
14 |
21
Elementary categories, elementary toposes / Colin McLarty
Oxford : Clarendon Press , 1992
|
15 |
21
Elementary categories, elementary toposes / Colin McLarty
: pbk. - Oxford : Clarendon Press. - Oxford : Oxford University Press , 1995, c1992
|
16 |
22
Recursion theory for metamathematics / Raymond M. Smullyan
New York : Oxford University Press , 1993
|
17 |
23
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
Oxford : Clarendon Press , 1993
|
18 |
24
Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski
4th ed. / edited by Jan Tarski. - New York : Oxford University Press , 1994
|
19 |
25
Many-valued logics / Grzegorz Malinowski
Oxford [England] : Clarendon Press. - New York, N.Y. : Oxford University Press , 1993
|
20 |
27
Diagonalization and self-reference / Raymond M. Smullyan
Oxford ; New York : Clarendon Press , 1994
|
21 |
28, 40
Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
v. 1,v. 2. - Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 1994-
|
22 |
30
Features and fluents : representation of knowledge about dynamical systems / Erik Sandewall
v. 1. - Oxford : Clarendon Press. - New York : Oxford University Press , 1994-
|
23 |
31
Set theory with a universal set : exploring an untyped universe / T.E. Forster
2nd ed. - Oxford : Clarendon Press , 1995
|
24 |
32
Geometric stability theory / Anand Pillay
Oxford : Clarendon Press. - New York : Oxford University Press , 1996
|
25 |
33
Labelled deductive systems / Dov M. Gabbay
v. 1. - New York : Oxford University Press. - Oxford : Clarendon , 1996-
|
26 |
34
Set theory and the continuum problem / Raymond M. Smullyan and Melvin Fitting
Oxford : Clarendon Press. - New York : Oxford University Press , 1996
|
27 |
35
Modal logic / Alexander Chagrov and Michael Zakharyaschev
Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 1997
|
28 |
36
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith
Oxford : Clarendon Press. - New York : Oxford University Press , 1998
|
29 |
38
Fibring logics / Dov M. Gabbay
: hbk. - Oxford : Clarendon Press , c1999
|
30 |
39
Elements of intuitionism / Michael Dummett
2nd ed. - Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 2000
|
31 |
41
Algebraic methods in philosophical logic / J. Michael Dunn and Gary M. Hardegree
Oxford : Clarendon Press. - New York : Oxford University Press , 2001
|
32 |
43-44
Sketches of an elephant : a topos theory compendium / Peter T. Johnstone
v. 1,v. 2,: set. - Oxford : Clarendon Press. - New York : Oxford University Press , c2002
|
33 |
46
Interpolation and definability : modal and intuitionistic logics / D.M. Gabbay, L. Maksimova
Oxford : Clarendon Press , 2005
|
34 |
47
Set theory : Boolean-valued models and independence proofs / John L. Bell
3rd ed. - Oxford : Clarendon Press , 2005
|
35 |
49
Category theory / Steve Awodey
Oxford : Clarendon. - Oxford ; New York : Oxford University Press , 2006
|
36 |
52
Category theory / Steve Awodey
: hard,: pbk. - 2nd ed. - Oxford ; New York : Oxford University Press , 2010
|
37 |
The Boole-De Morgan correspondence, 1842-1864 / [edited by] G.C. Smith
Oxford : Clarendon Press. - New York : Oxford University Press , 1982
|
38 |
Beginning model theory : the completeness theorem and some consequences / by Jane Bridge
Oxford [Eng.] : Clarendon Press , 1977
|
39 |
Boolean-valued models and independence proofs in set theory / by J.L. Bell
Oxford : Clarendon Press , 1977
|
40 |
Choice sequences : a chapter of intuitionistic mathematics / by A.S. Troelstra
Oxford [Eng.] : Clarendon Press , 1977
|