| 1 |
Choice sequences : a chapter of intuitionistic mathematics / by A.S. Troelstra
Oxford [Eng.] : Clarendon Press , 1977
|
| 2 |
The Boole-De Morgan correspondence, 1842-1864 / [edited by] G.C. Smith
Oxford : Clarendon Press. - New York : Oxford University Press , 1982
|
| 3 |
2
Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio
Oxford : Clarendon Press , 1977
|
| 4 |
7
Formal number theory and computability : a workbook / by Alec Fisher
: pbk. - Oxford [Oxfordshire] : Clarendon Press , 1982
|
| 5 |
12
Boolean-valued models and independence proofs in set theory / J.L. Bell
2nd ed. - Oxford [Oxfordshire] : Clarendon Press , 1985
|
| 6 |
19
Gödel's incompleteness theorems / Raymond M. Smullyan
New York : Oxford University Press , 1992
|
