The Godel Incompleteness Theorem from a Length-of-Proof Perspective
John DawsonVolume:
86
Language:
english
Journal:
The American Mathematical Monthly
DOI:
10.2307/2322023
Date:
November, 1979
File:
PDF, 1.08 MB
english, 1979