Kurt Gödel (Essays for His Centennial) || Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation
Feferman, Solomon, Parsons, Charles, Simpson, Stephen G.Volume:
10.1017/CB
Year:
2010
Language:
english
DOI:
10.1017/cbo9780511750762.006
File:
PDF, 182 KB
english, 2010