| 期刊論文| 1. | Anellis, Irving H.(1991)。Forty Years of 'Unnatural' Natural Deduction and Quantification: A History of First-order Systems of Natural Deduction, From Gentzen to Copi。Modern Logic，2，113-152。   | | 2. | Fine, Kit(1985)。Natural Deduction and Arbitrary Objects。Journal of Philosophical Logic，14(1)，57-107。 | 圖書| 1. | 林照田、蔡承志(2004)。邏輯學入門。雙葉書廊。 延伸查詢 | | 2. | 陳波(2004)。邏輯學。臺北市：五南圖書出版股份有限公司。 延伸查詢 | | 3. | 林正弘(2011)。邏輯。臺北：三民。 延伸查詢 | | 4. | 彭孟堯(2012)。基礎邏輯。臺北：學富文化。 延伸查詢 | | 5. | Bergmann, M.、Moor, J.、Nelson, J.(2008)。The Logic Book。McGraw-Hill。 | | 6. | Hausman, A.、Kahane, H.、Tidman, P.(2010)。Logic and Philosophy: A Modern Introduction。Boston：Wadsworth。 | | 7. | Hurley, Patrick J.(2012)。A Concise Introduction to Logic。Wadsworth。 | | 8. | Kahane, Howard(1982)。Logic and Philosophy: A Modern Introduction。Belmont：Wadsworth。 | | 9. | Lemmon, E. J.(1965)。Beginning Logic。London：Nelson。 | | 10. | Quine, W. V. O.(1950)。Methods of Logic。New York：Holt。 | | 11. | Suppes, Patrick(1957)。Introduction to Logic。New York：Van Nostrand Reinhold。 | | 12. | van Dalen, Dirk(2013)。Logic and Structure。London：Springer-Verlag。 | 圖書論文| 1. | Pelletier, Francis Jeffry(2000)。A History of Natural Deduction and Elementary Logic Textbooks。Logical Consequence: Rival Approaches。Oxford：Hermes Science Publications。 | |