Ernest Nagel: opere
- 1958 Gödel's Proof, New York University Press, New York, [rif.] [rif.1] [rif.2] [rif.3]
- La prova di Gödel, Boringhieri, 1961
- con: James R. Newman
- 1961 The Structure of Science: Problems in the Logic of Scientific Explanation, Hackett, [rif.] [rif.1]
- La struttura della scienza. Problemi di logica nella spiegazione scientifica, Feltrinelli, 1968
- 1962 Logic, Methodology and Philosophy of Science, Stanford, California, [rif.]
- con: P. Suppes, A. Tarsky