| |
| | The M.E.B. Library Math Section - Logic (Site not responding. Last check: 2007-09-03) |
 | | Cavaillès, Jean Remarques sur la Formation de la Théorie Abstraite des Ensembles, II, Dedekind Les Axiomatisations (Zermelo, Fraenkel, Von Neumann) Actualités Scientifique et Industrielles, 607, Le Progrès de L'Esprit, VII, Hermann and C |
 | | A Theory of Sets Pure and Applied Mathematics, Number XVIII, Academic Press, New York, 1965. |
 | | Nagel, Ernest and Newman, James R. Gödel's Proof New York University Press, 1958. |
| www.sfu.ca /~mbarnes/mathlibrarylogic.htm (622 words) |
|