弗朗索瓦·拉马克 探索线性逻辑和经典逻辑之间的差距。 （英语） Zbl 1131.03033号 理论应用。类别。 18773-535（2007年）. 审核人：弗拉基米尔·科门丹斯基（索菲亚·安蒂波利斯） MSC公司：03楼52 03G30型 18日第15天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Lamarche}，理论应用。类别。18、473--535（2007；Zbl 1131.03033） 全文： 欧洲DML EMIS公司
马丁·海兰德 证明的抽象解释：经典命题演算。 （英语） Zbl 1095.03059号 Marcinkowski，Jerzy（编辑）等人，《计算机科学逻辑》。2004年9月20日至24日，第18届国际研讨会，CSL 2004，第13届EACSL年会，波兰卡尔帕茨。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23024-6/pbk）。计算机科学课堂讲稿3210，6-21（2004）。MSC公司：07年3月 03B05号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}，莱克特。注释计算。科学。3210，6--21（2004；Zbl 1095.03059） 全文： 内政部