close
1.

図書
図書
1. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (: gw ; : u.s.)
edited by G.H. Müller, A. Oberschelp, K. Potthoff
出版情報: Berlin ; New York : Springer-Verlag, 1975  iv, 651 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 499
所蔵情報: loading…
2.

図書
図書
2. Logic, methodology and philosophy of science IV : Proceedings (: ne ; : us)
edited by Patrick Suppes [et al.]
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier Pub. Co., 1973  x, 981 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 74
所蔵情報: loading…
3.

図書
図書
3. Mathematical interpretation of formal systems. 2nd ed
Th. Skolem ... [et al.]
出版情報: Amsterdam : North-Holland Pub. Co., 1971  viii, 113 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼