DOORS（同志社大学図書館）

Oxford logic guides

データ種別	図書
出版者	Oxford : Clarendon Press
出版者	New York : Oxford University Press


1	2 Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio Oxford : Clarendon Press , 1977
2	7 Formal number theory and computability : a workbook / by Alec Fisher : pbk. - Oxford [Oxfordshire] : Clarendon Press , 1982
3	21 Elementary categories, elementary toposes / Colin McLarty : pbk. - Oxford : Clarendon Press. - Oxford : Oxford University Press , 1995, c1992
4	23 Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček Oxford : Clarendon Press , 1993
5	39 Elements of intuitionism / Michael Dummett 2nd ed. - Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 2000
6	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
7	49 Category theory / Steve Awodey Oxford : Clarendon. - Oxford ; New York : Oxford University Press , 2006
8	54 Bolzano's logical system / Ettore Casari Oxford : Oxford University Press , 2016