搜索包含 Gaisi 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Gaisi 的图书(共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.

	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.