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

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

しぼり込み検索

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

～

所在：

主題：

請求記号：

目次情報：

表示順選択

検索結果: 2 件

図書

1. Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday

edited by Leon Henkin ... [et al.]

出版情報:	Providence : Published for the Association for Symbolic Logic by the American Mathematical Society, 1974 xx, 498 p. ; 26 cm
シリーズ名:	Proceedings of symposia in pure mathematics ; v. 25
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. The theory of models : proceedings of the 1963 International Symposium at Berkeley

edited by J.W. Addison, Leon Henkin, Alfred Tarski

出版情報:	Amsterdam : North-Holland, 1965 xv, 494 p. ; 23 cm
シリーズ名:	Studies in logic and the foundations of mathematics
子書誌情報:	loading…
所蔵情報:	loading…

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