Publications of MSJ 第 13 巻 Gaisi Takeuti, Two Applications of Logic to Mathematics の電子版が一般公開された

本文

日本数学会の次のようなツイートがあった.

Publications of MSJ 第 13 巻 Gaisi Takeuti, Two Applications of Logic to Mathematics の電子版を一般公開しました http://bit.ly/12IITSs

竹内外史の本 (?) だが, 地雷だったりしないのだろうか. まだ目を通していないのだが, ご存知の方がいれば内容についてご教示頂きたい.

それはそうとして, Publications of MSJ のページを見るといくつか文献があるが, 次の 2 冊が気になる.

No.15 Shoshichi Kobayashi, Differential Geometry of Complex Vector Bundles, 1987, xii+305 pp. No.11 Goro Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, 1971, xiv+267 pp.

これ読んでみたい. 数学会, 何とか頑張ってこれを公開してほしい.

ラベル

数学, 数理論理