| Autore | Titolo | Editore | Anno | Anno Prima pubblicazione |
| Alfred Tarski | Introduction to logic | Dover | 1995 | 1941 |
| Anita Burdmann Fefermann | Alfred Tarski – Life and Logic | Cambridge Univeristy Press | 2004 | 2004 |
| George Boole | All investigation of the laws of thought | General Books | 2009 | 1854 |
| Kurt Godel | On Formally Undecidable propositions of principia Mathematica and related systems | Dover | 1992 | 1931 |
| John W. Dawson | Dilemmi Logici – La vita e l’opera di Kurt Godel | Bollati Boringhieri | 2001 | 1997 |
| Douglas R. Hofstadter | Godel, Escher, Bach | Adelphi | 1984 | 1979 |
| Gottlob Frege | Foundations of Arithmetic | Northwestern University Press | 1980 | 1884 |
| Bertrand Russell | Introduzione alla Filosofia della Matematica | Newton Compton | 1970 | 1918 |
| Bertrand Russell | I fondamenti della geometria | Newton Compton | 1975 | 1900 |
| Bertrand Russell | I principi della matematica | Newton Compton | 1971 | 1903 |
FISICA E FANTASIA 