城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(書名(完全形): Oxford logic guides)
該当件数:10件
Oxford logic guides
Oxford : Clarendon Press. - New York : Oxford University Press
図書
Boolean-valued models and independence proofs in set theory / by J. L. Bell.
Oxford, England : Clarendon Press , 1977. - (Oxford logic guides)
Godel's incompleteness theorems / Raymond M. Smullyan.
19. - New York : Oxford University Press , 1992. - (Oxford logic guides ; 19)
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
23. - Oxford, England : Clarendon Press , 1993. - (Oxford logic guides ; 23)
Cardinal arithmetic / Saharon Shelah.
29. - Oxford, England : Clarendon Press , 1994. - New York : Oxford University Press , 1994. - (Oxford logic guides ; 29)
Set theory and the continuum problem / Raymond M. Smullyan and Melvin Fitting.
34. - Oxford, England : Clarendon Press , 1996. - New York : Oxford University Press , 1996. - Oxford, England : Clarendon Press , 1996. - (Oxford logic guides ; 34)
Relative category theory and geometric morphisms : a logical approach / Jonathan Chapman and Frederick Rowbottom.
16. - Oxford, England : Clarendon Press , 1991. - New York : Oxford University Press , 1991. - (Oxford logic guides ; 16)
Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
Beginning model theory : the completeness theorem and some consequences / by Jane Bridge.
Subrecursion : functions and hierarchies / H.E. Rose
: U.S.. - Oxford [Oxfordshire] : Clarendon Press. - New York : Oxford University Press , 1984. - (Oxford logic guides ; 9)