证明论 PROOF THEORY

Gaisi TAKEUTI 著  眭跃飞 译

NORTH-HOLLAND  PUBLISHING COMPANY，1975

原作者序

该书是基于我于1968年在Buffalo举办的Symposium on Intuitionism and Proof Theory上给的讲座.

在Buffalo会议上发布的讲座是在John Myhill教授和Akiko Kino教授帮助下完成的. 

Mariko Yasugi帮助我修改和扩展原来的讲义.这个修改完成于1971年的夏天. 此时Jeffery Zucker读过前面3章，做了改进, 特别是第二章, 并且我的同行Wilson Zaring提供编辑帮助于第4-6章的最后草稿.

对所有做过贡献的人, 包括我的课程使用而录入原材料的我们系秘书, 我表示我的深深的感谢.

Gaisi Takeuti

Urbana, March 1975

目录

注: 如果需要全文的, 请email我: yfsui@ict.ac.cn.