共 6 条
- [1] Detlefsen M.(1979)On interpreting Gödel's Second Theorem Journal of Philosophical Logic 8 297-313
- [2] Feferman S.(1984)Kurt Gödel: conviction and caution Philosophia Natualis 21 546-562
- [3] Gödel K.(1958)Über ein bisher noch nicht benützte Erweiterung der finiten Standpunktes Dialectica 12 280-287
- [4] Jeroslow R.(1975)Experimental logics and Δ Journal of Philosophical Logic 4 253-267
- [5] Lucas J.(1961) theories Philosophy 36 112-127
- [6] Rosser J. B.(1939)Minds, Machines, and Gödel Journal of Symbolic Logic 4 53-60