Troelstra，A.S。;施维希滕贝格，H。 基本证明理论。第2版。 （英语） Zbl 0957.03053号 剑桥理论计算机科学丛书. 43. 剑桥：剑桥大学出版社。xii，第417页（2000年）。 审核人：安东·塞泽尔（乌普萨拉） MSC公司：03财年03 03-02 03-01 03楼52 68N17号 05年3月 03B40型 03G30型 03B45号 30楼03号 35楼03号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Troelstra}和\textit{H.Schwichtenberg}，基本证明理论。第二版剑桥：剑桥大学出版社（2000；Zbl 0957.03053）
Troelstra，A.S。;施维希滕贝格，H。 基本证明理论。 （英语） Zbl 0868.03024号 剑桥理论计算机科学丛书. 43. 剑桥：剑桥大学出版社。xi，343页（1996年）。 审核人：H.Pfeiffer（汉诺威） MSC公司：03财年03 03-02 03-01 68N17号 05年3月 03B40型 03G30型 03B45号 30楼03号 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Troelstra}和\textit{H.Schwichtenberg}，基本证明理论。剑桥：剑桥大学出版社（1996；Zbl 0868.03024）