Nagel, Ernest Godel's proof. - London Routledge & Kegen Paul 1959 - ix,118p. includes bibliographical references and index cm. Source: Reference