大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Takeuti 的图书(共4本)

Two applications of logic to mathematics

0
索取号：O141/E8011
作者：Takeuti、 Gaisi、 1926-、
出版社：[Tokyo] : Iwanami Shoten ; [Princeton, N.J.] : Princeton University Press, 1978.

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

0
索取号：O132-51/E90118
作者：Logic Symposia (1979 : Hakone-machi、 Japan)、Mèuller、 G. H. (Gert Heinz)、 1923-、Takeuti、 Gaisi、 1926-、Tuguâe、 T. (Tosiyuki)、 1926-、Logic Symposia (1980 : Hakone-machi、 Japan)、
出版社：Berlin ; New York : Springer-Verlag, 1981.

Proof theory

0
索取号：O141-55/E901.2
作者：Takeuti、 Gaisi、 1926-、
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.

Introduction to axiomatic set theory

0
索取号：O13-51/E9022.2
作者：Takeuti、 Gaisi、 1926-、Gehring、F. W.、Zaring、 Wilson M.、
出版社：New York : Springer-Verlag, c1982.