close
1.

図書

図書
by J.L. Bell and M. Machover
出版情報: Amsterdam ; Tokyo : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977  xviii, 599 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Beginning Mathematical Logic / 1:
First-Order Logic / 2:
First-Order Logic (continued) / 3:
Boolean Algebras / 4:
Model Theory / 5:
Recursion Theory / 6:
Logic - Limitative Results / 7:
Recursion Theory (continued) / 8:
Intuitionistic First-Order Logic / 9:
Axiomatic Set Theory / 10:
Nonstandard Analysis / 11:
Bibliography
Beginning Mathematical Logic / 1:
First-Order Logic / 2:
First-Order Logic (continued) / 3:
2.

図書

図書
edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1977  xi, 1165 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 90
所蔵情報: loading…
目次情報: 続きを見る
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
Proof Theory and Constructive Mathematics / H. Barendregt ; S. Feferman ; M.P. Fourman ; L. Harrington ; J. Paris ; H. Schwichtenberg ; C. Smorynski ; R. Statman ; A.S. Troelstra
Indices
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
3.

図書

図書
edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977  xviii, 307 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 89
所蔵情報: loading…
4.

図書

図書
edited by R.O. Gandy, J.M.E. Hyland
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : Sole distributors for U.S.A. and Canada, Elsevier North-Holland, 1977  x, 612 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 87
所蔵情報: loading…
5.

図書

図書
Neil H. Williams
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : sole distributors for the U.S.A. and Canada, Elsevier/North Holland, 1977  xi, 208 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 91
所蔵情報: loading…
6.

図書

図書
Serge Lang
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1977  xi, 321 p. ; 24 cm
シリーズ名: Addison-Wesley series in mathematics
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼