Gödel's proof / by Ernest Nagel and J.R. Newman. - Nagel, Ernest, 1901- (Routledge and Kegan Paul, 1959)