Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle Book Discussion
Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle (SpringerBriefs in Mathematics)
by
Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle (SpringerBriefs in Mathematics)