| 1 |
2
Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio
Oxford : Clarendon Press , 1977
|
| 2 |
9
Subrecursion : functions and hierarchies / H.E. Rose
Oxford : Clarendon Press , 1984
|
| 3 |
11
Recursive aspects of descriptive set theory / Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson
New York : Oxford University Press , 1985
|
| 4 |
13
Computability theory, semantics, and logic programming / Melvin Fitting
New York : Oxford University Press , 1987
|
| 5 |
18
A study of logics / John P. Cleave
Oxford : Clarendon Press , 1991
|
| 6 |
19
Gödel's incompleteness theorems / Raymond M. Smullyan
New York : Oxford University Press , 1992
|
| 7 |
20
Set theory with a universal set : exploring an untyped universe / T.E. Forster
Oxford : Clarendon Press , 1992
|
| 8 |
32
Geometric stability theory / Anand Pillay
Oxford : Clarendon Press , 1996
|
| 9 |
52
Category theory / Steve Awodey
: hard. - 2nd ed. - New York : Oxford University Press , 2010
|
| 10 |
54
Bolzano's logical system / Ettore Casari
Oxford : Oxford University Press , 2016
|
