OPAC

＜図書＞

Oxford logic guides

データ種別	図書
出版者	Oxford : Clarendon Press
出版者	New York : Oxford University Press
本文言語	und


1	19 Godel's incompleteness theorems / Raymond M. Smullyan New York : Oxford University Press , 1992
2	23 Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek Oxford : Clarendon Press , 1993
3	26 Groups of finite Morley rank / Alexandre Borovik and Ali Nesin Oxford : Clarendon Press. - New York : Oxford University Press , 1994
4	32 Geometric stability theory / Anand Pillay Oxford : Clarendon Press. - New York : Oxford University Press , 1996
5	43, 44 Sketches of an elephant : a topos theory compendium / Peter T. Johnstone 1,2. - Oxford : Clarendon Press. - New York : Oxford University Press , c2002
6	47 Set theory : Boolean-valued models and independence proofs / John L. Bell 3rd ed. - Oxford : Clarendon Press , 2005