Gödel's Proof - Nagel,Ernest; Newman,J.R (NewYork: University Press, 1967)
Keywords: Logic