Bibliography Józef Maria Bocheński 1960 Précis of Mathematical Logic, translated from the French and German editions by Otto Bird, D. Reidel, Dordrecht, South Holland. Jean van Heijenoort 1967 From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931, Harvard University Press, Cambridge, MA, (pbk.) Ernest Nagel and James R. Newman 1958 Gödel's Proof, New York University Press, Card Catalog Number: 58-5610.
bibliography józef maria bocheński 1960 précis of mathematical logic translated from the french and german editions by otto bird d reidel dordrecht south holland jean van heijenoort 1967 from frege to gödel a source book in mathematical logic 1879-1931 harvard university press cambridge ma (pbk) ernest nagel and james r newman 1958 gödel's proof new york university press card catalog number 58-5610