公理学、元数学与哲学

Douban

张家龙 1983

公理学 数学 数理逻辑的讨论