close
1.

図書
図書
1. Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Evert Willem Beth
出版情報: Dordrecht, Holland : D. Reidel Publishing Co., 1962  xiv, 170 p. ; 23 cm
シリーズ名: Synthese library
所蔵情報: loading…
2.

図書
図書
2. On formally undecidable propositions of Principia mathematica and related systems
Kurt Gödel ; translated by B. Meltzer ; with introduction by R.B. Braithwaite
出版情報: New York : Basic Books, c1962  viii, 72 p. ; 18 cm
所蔵情報: loading…
3.

図書
図書
3. The logical systems of Lesniewski
Eugene C. Luschei
出版情報: Amsterdam : North-Holland, 1962  vii, 361 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼