このページのリンク

他の検索サイト

Oxford logic guides

子書誌情報を非表示

1 2 Elements of intuitionism / by Michael Dummett ; with the assistance of Roberto Minio Oxford : Clarendon Press , 1977
2 Choice sequences : a chapter of intuitionistic mathematics / by A.S. Troelstra Oxford [Eng.] : Clarendon Press , 1977
3 Beginning model theory : the completeness theorem and some consequences / by Jane Bridge Oxford [Eng.] : Clarendon Press , 1977
4 Boolean-valued models and independence proofs in set theory / by J.L. Bell Oxford : Clarendon Press , 1977
5 14 Toposes and local set theories : an introduction / J.L. Bell Oxford : Clarendon Press. - Tokyo : Oxford University Press , 1988
6 15 Models of Peano arithmetic / Richard Kaye Oxford : Clarendon Press. - New York : Oxford University Press , 1991
7 17 Foundations without foundationalism : a case for second-order logic / Stewart Shapiro : pbk. - Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 1991
8 19 Gödel's incompleteness theorems / Raymond M. Smullyan New York : Oxford University Press , 1992
9 22 Recursion theory for metamathematics / Raymond M. Smullyan New York : Oxford University Press , 1993
10 27 Diagonalization and self-reference / Raymond M. Smullyan Oxford ; New York : Clarendon Press , 1994
11 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-
12 29 Cardinal arithmetic / Saharon Shelah Oxford : Clarendon Press. - New York : Oxford University Press , 1994
13 30 Features and fluents : representation of knowledge about dynamical systems / Erik Sandewall v. 1. - Oxford : Clarendon Press. - New York : Oxford University Press , 1994-
14 33 Labelled deductive systems / Dov M. Gabbay v. 1. - New York : Oxford University Press. - Oxford : Clarendon , 1996-
15 34 Set theory and the continuum problem / Raymond M. Smullyan and Melvin Fitting Oxford : Clarendon Press. - New York : Oxford University Press , 1996
16 35 Modal logic / Alexander Chagrov and Michael Zakharyaschev Oxford : Clarendon Press. - New York ; Tokyo : Oxford University Press , 1997

書誌詳細を非表示

出版情報 Oxford : Clarendon Press
New York : Oxford University Press
別書名 異なりアクセスタイトル:OLG
本文言語 und
書誌ID TB10012505
NCID BA00017765