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

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

しぼり込み検索

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

～

所在：

主題：

請求記号：

目次情報：

表示順選択

検索結果: 4 件

図書

1. Der Formalismus und seine Grenzen : Untersuchungen zur neueren Philosophie der Mathematik

Rosemarie Rheinwald

出版情報:	Königstein/Ts. : Hain, 1984 204 p. ; 22 cm
シリーズ名:	Philosophie : Analyse und Grundlegung ; Bd. 11
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. Intensional mathematics

edited by Stewart Shapiro

出版情報:	North-Holland, 1985
シリーズ名:	Studies in logic and the foundations of mathematics ; vol. 113/ editors J. Barwise ; D. Kaplan ; H. J. Keisler ; P. Suppes ;
子書誌情報:	loading…
所蔵情報:	loading…

図書

3. 数理の存在論的基礎. 第2刷

永井博著

図書

4. ゲーデル, エッシャー, バッハ : あるいは不思議の環

ダグラス・R・ホフスタッター著 ; 野崎昭弘, はやしはじめ, 柳瀬尚紀訳

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