圖書| 1. | 林照田、蔡承志(2004)。邏輯學入門。雙葉書廊。 延伸查詢 |
| 2. | Kant, I.、Meiklejohn, J. M. D.(1969)。Critique of Pure Reason。London：Everyman's Library。  |
| 3. | Smullyan, Raymond M.(1968)。First-Order Logic。New York：Springer-Verlag。 |
| 4. | 林正弘(2002)。邏輯。台北：三民。 延伸查詢 |
| 5. | 陳瑞麟(200510)。邏輯與思考。臺北市：學富文化。 延伸查詢 |
| 6. | 彭孟堯(2009)。基礎邏輯。臺北市。 延伸查詢 |
| 7. | Beth, E. W.(1955)。Semantic Entailment and Formal Derivability。The Philosophy of Mathematics(1969) \\ Jaakko Hintikka(eds.)。 |
| 8. | Boolos G. S.、Jeffrey, R. C.(1989)。Computability and Logic。New York。 |
| 9. | Carnap, R.(1959)。The Old and the New Logic。Logical Positivism \\ A. J. Ayer (eds.)。 |
| 10. | Cauman, L. S.(1998)。First-order Logic: An Introduction。New York。 |
| 11. | Copi, I. M.、Cohen, C.(1998)。Introduction to Logic。 |
| 12. | Frege, G.(1967)。Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens。Halle a. S.。 |
| 13. | Hodges, W.(1977)。Logic: an introduction to elementary logic。London。 |