検索結果一覧に戻る

この書誌情報を引用して取り寄せる

この情報を出力する

このページのリンク

他の検索サイト

Oxford logic guides

データ種別 図書

子書誌情報を非表示

1 8 An introduction to stability theory / by Anand Pillay Oxford : Clarendon Press. - New York : Oxford University Press , 1983
2 9 Subrecursion : functions and hierarchies / H.E.Rose : U.S.. - Oxford [Oxfordshire] : Clarendon Press. - New York : Oxford University Press , 1984
3 10 Cantorian set theory and limitation of size / Michael Hallett : pbk. - Oxford [Oxfordshire] : Clarendon Press , 1984
4 11 Recursive aspects of descriptive set theory / Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson New York, N.Y. : Oxford University Press. - Oxford [Oxfordshire] : Clarendon Press , 1985
5 13 Computability theory, semantics, and logic programming / Melvin Fitting New York : Oxford University Press. - Oxford : Clarendon Press , 1987
6 14 Toposes and local set theories : an introduction / J.L. Bell Oxford : Clarendon Press. - Tokyo : Oxford University Press , 1988
7 15 Models of Peano arithmetic / RichardKaye Oxford : Clarendon Press. - New York : Oxford University Press , 1991
8 16 Relative category theory and geometric morphisms : a logical approach / Jonathan Chapman and Frederick Rowbottom Oxford : Clarendon Press. - New York : Oxford University Press , 1992
9 17 Foundations without foundationalism : a case for second-order logic / Stewart Shapiro :pbk. - Oxford : Clarendon Press. - New York : Oxford University Press , 1991
10 18 A study of logics / John P. Cleave Oxford : Clarendon Press. - New York : Oxford University Press , 1991
11 19 Gödel''s incompleteness theorems / Raymond M. Smullyan New York : Oxford University Press , 1992
12 20 Set theory with a universal set : exploring an untyped universe / T.E. Forster Oxford : Clarendon Press. - New York : Oxford University Press , 1992
13 21 Elementary categories, elementary toposes / Colin McLarty Oxford : Clarendon Press , 1992
14 22 Recursion theory for metamathematics / Raymond M. Smullyan New York : Oxford University Press , 1993
15 23 Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček Oxford : Clarendon Press , 1993

書誌詳細を非表示

出版者 Oxford : Clarendon Press
出版者 New York : Oxford University Press
書誌ID B000163695
本文言語 und
NCID BA00017765
検索結果一覧に戻る