GFodel's proof
Publisher: New York University Press
Published: 1958-01-01