工学部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

書誌詳細を非表示

書誌ID 1000147325
NCID BA00017765 WCLINK
巻冊次

検索結果一覧に戻る ページトップ