圖書| 1. | 林正弘(1999)。邏輯。台北：三民書局。 延伸查詢 |
| 2. | 朱水林(1997)。現代邏輯入門。台北：九章出版社。 延伸查詢 |
| 3. | 卡斯提．約翰、德包利．維納(2003)。數學巨人哥德爾--關於邏輯的故事。台北：究竟出版社。 延伸查詢 |
| 4. | Brown, James R.(2002)。Philosophy of Mathematics: An introduction to the world ofproofs and pictures。London：New York：Routledge。  |
| 5. | Davis, Martin(2000)。Engines of Logic: Mathematicians and the Origin of the Computer。New York：London：Norton & Company。 |
| 6. | Gellert, W.(1977)。The VNR Concise Encyclopedia of Mathematics。New York：Van Nostrand Reinhold Company。 |
| 7. | Gowers, Timothy(2002)。Mathematics: A Very Short Introduction。Oxford：Oxford University Press。 |
| 8. | Tymoczko. Thomas(1986)。New Directions in the Philosophy of Mathematics: An Anthology。Boston：Basel：Stuttgart：Birkhauser。 |
| 9. | Losee, John(1980)。A Historical Introduction to the Philosophy of Science。Oxford：Oxford University Press。 |
| 10. | Kline, Morris(1980)。Mathematics: The Loss of Certainty。New York, NY：Oxford University Press。 |