Incompleteness for Higher-Order Arithmetic
Subtitle: An Example Based on Harrington’s Principle
Publisher: Springer
Published: Sep 11, 2019
Format: paperback
Number of pages: 136
ISBN-13: 9789811399480
Notes: Source title: Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle (SpringerBriefs in Mathematics)