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

Intuitionism an introduction

0
索取号：O143/E602
作者：Heyting、 A. (Arend)、 1898-、
出版社：Amsterdam : North-Hollan Pub. Co., 1956.

Mathematical logic

0
索取号：O141/E993
作者：Summer School and Conference on Mathematical Logic (1988 : Chaæika、 Varnenski okræug、 Bulgaria)、Petkov、 Petio Petrov.、Heyting、 A. (Arend)、 1898-、
出版社：New York : Plenum Press, c1990.