Search records | 東京工業大学附属図書館蔵書検索

同じキーワードで他のサイトを検索できます。

しぼり込み検索

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 図書 ID / 書誌 ID：

出版年：

～

所在：

主題：

請求記号：

目次情報：

表示順選択

検索結果: 2 件

図書

1. Frege and Gödel : two fundamental texts in mathematical logic (: hard ; : pbk)

edited by Jean van Heijenoort

出版情報:	Cambridge, Mass. : Harvard University Press, 1970 116 p. ; 26 cm
子書誌情報:	loading…
所蔵情報:	loading…

図書

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…
所蔵情報:	loading…

文献の複写および貸借の依頼を行う