Introduction to Metamathematics

• 作者： Kleene, Stephen Cole/ Beeson, Michael J. (FRW)
• 出版日期： 2009-03-09
• ISBN碼： 9780923891572
• 編號： F012036140