close
1.

図書

図書
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
2.

図書

図書
editor, J. W. Robinson
出版情報: Cleveland : CRC Press, 1974-1981  v. <1-3 > ; 27 cm
所蔵情報: loading…
3.

図書

図書
精機学会編
出版情報: 東京 : コロナ社, 1972.9  xii, 1982, 48p ; 22cm
所蔵情報: loading…
4.

図書

図書
高橋泰蔵, 増田四郎編集
出版情報: 東京 : 東洋経済新報社, 1975  xxxv, 1174p ; 22cm
所蔵情報: loading…
5.

図書

図書
建築工法事典編集委員会編
出版情報: 東京 : 産業調査会出版部, 1976.12  1冊 ; 26cm
所蔵情報: loading…
6.

図書

図書
田村三郎, 白鳥冨美子編
出版情報: 東京 : 東方書店, 1977.11  612p ; 22cm
所蔵情報: loading…
7.

図書

図書
日本フランス語フランス文学会編
出版情報: 東京 : 白水社, 1974.9  xvii, 1051p ; 27cm
所蔵情報: loading…
8.

図書

図書
井上義昌編
出版情報: 東京 : 冨山房, 1972.11  xxvi, 977, 65p, 図版[24]p ; 22cm
所蔵情報: loading…
9.

図書

図書
日本工業新聞社 ; 日本VSMF産業調査室
出版情報: 東京 : 日本工業新聞社, 1973-  冊 ; 27cm
所蔵情報: loading…
10.

図書

図書
日本放射性同位元素協会編
出版情報: 東京 : 丸善, 1970.10  xxii, 1006p, 図版1枚 ; 22cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼