このページのリンク

<図書>
Oxford logic guides

出版者 Oxford : Clarendon Press
出版者 New York : Oxford University Press
コード類 書誌ID=1000007522 NCID=BA00017765

書誌詳細を表示

本文言語 〔言語名不明〕
別書名 異なりアクセスタイトル:OLG

子書誌情報を非表示

1 2 Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio Oxford : Clarendon Press , 1977
2 5 Classical propositional operators : an exercise in the foundations of logic / by Krister Segerberg Oxford : Clarendon Press , 1982. - New York : Oxford University Press
3 7 Formal number theory and computability : a workbook / by Alec Fisher : pbk. - Oxford [Oxfordshire] : Clarendon Press , 1982
4 9 Subrecursion : functions and hierarchies / H.E. Rose : U.S.. - Oxford [Oxfordshire] : Clarendon Press. - New York : Oxford University Press , 1984
5 10 Cantorian set theory and limitation of size / Michael Hallett : pbk. - Oxford [Oxfordshire] : Clarendon Press , 1984
6 13 Computability theory, semantics, and logic programming / Melvin Fitting New York : Oxford University Press. - Oxford : Clarendon Press , 1987
7 14 Toposes and local set theories : an introduction / J.L. Bell Oxford : Clarendon Press. - Tokyo : Oxford University Press , 1988
8 15 Models of Peano arithmetic / Richard Kaye Oxford : Clarendon Press. - New York : Oxford University Press , 1991
9 16 Relative category theory and geometric morphisms : a logical approach / Jonathan Chapman and Frederick Rowbottom Oxford : Clarendon Press. - New York : Oxford University Press , 1992
10 17 Foundations without foundationalism : a case for second-order logic / Stewart Shapiro : pbk. - Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 1991
11 18 A study of logics / John P. Cleave Oxford : Clarendon Press. - New York : Oxford University Press , 1991
12 19 Gödel's incompleteness theorems / Raymond M. Smullyan New York : Oxford University Press , 1992
13 20 Set theory with a universal set : exploring an untyped universe / T.E. Forster Oxford : Clarendon Press. - New York : Oxford University Press , 1992
14 21 Elementary categories, elementary toposes / Colin McLarty Oxford : Clarendon Press , 1992
15 21 Elementary categories, elementary toposes / Colin McLarty : pbk. - Oxford : Clarendon Press. - Oxford : Oxford University Press , 1995, c1992
16 22 Recursion theory for metamathematics / Raymond M. Smullyan New York : Oxford University Press , 1993
17 23 Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček Oxford : Clarendon Press , 1993
18 24 Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski 4th ed. / edited by Jan Tarski. - New York : Oxford University Press , 1994
19 25 Many-valued logics / Grzegorz Malinowski Oxford [England] : Clarendon Press. - New York, N.Y. : Oxford University Press , 1993
20 27 Diagonalization and self-reference / Raymond M. Smullyan Oxford ; New York : Clarendon Press , 1994
21 28, 40 Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson and Mark Reynolds v. 1,v. 2. - Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 1994-
22 30 Features and fluents : representation of knowledge about dynamical systems / Erik Sandewall v. 1. - Oxford : Clarendon Press. - New York : Oxford University Press , 1994-
23 31 Set theory with a universal set : exploring an untyped universe / T.E. Forster 2nd ed. - Oxford : Clarendon Press , 1995
24 32 Geometric stability theory / Anand Pillay Oxford : Clarendon Press. - New York : Oxford University Press , 1996
25 33 Labelled deductive systems / Dov M. Gabbay v. 1. - New York : Oxford University Press. - Oxford : Clarendon , 1996-
26 34 Set theory and the continuum problem / Raymond M. Smullyan and Melvin Fitting Oxford : Clarendon Press. - New York : Oxford University Press , 1996
27 35 Modal logic / Alexander Chagrov and Michael Zakharyaschev Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 1997
28 36 Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith Oxford : Clarendon Press. - New York : Oxford University Press , 1998
29 38 Fibring logics / Dov M. Gabbay : hbk. - Oxford : Clarendon Press , c1999
30 39 Elements of intuitionism / Michael Dummett 2nd ed. - Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 2000
31 41 Algebraic methods in philosophical logic / J. Michael Dunn and Gary M. Hardegree Oxford : Clarendon Press. - New York : Oxford University Press , 2001
32 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
33 46 Interpolation and definability : modal and intuitionistic logics / D.M. Gabbay, L. Maksimova Oxford : Clarendon Press , 2005
34 47 Set theory : Boolean-valued models and independence proofs / John L. Bell 3rd ed. - Oxford : Clarendon Press , 2005
35 49 Category theory / Steve Awodey Oxford : Clarendon. - Oxford ; New York : Oxford University Press , 2006
36 52 Category theory / Steve Awodey : hard,: pbk. - 2nd ed. - Oxford ; New York : Oxford University Press , 2010
37 The Boole-De Morgan correspondence, 1842-1864 / [edited by] G.C. Smith Oxford : Clarendon Press. - New York : Oxford University Press , 1982
38 Beginning model theory : the completeness theorem and some consequences / by Jane Bridge Oxford [Eng.] : Clarendon Press , 1977
39 Boolean-valued models and independence proofs in set theory / by J.L. Bell Oxford : Clarendon Press , 1977
40 Choice sequences : a chapter of intuitionistic mathematics / by A.S. Troelstra Oxford [Eng.] : Clarendon Press , 1977