Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle

Gespeichert in:
1. Verfasser:
Cheng, Yong
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Singapore Springer Singapore Imprint: Springer 2019
Ausgabe:
1st ed. 2019
Umfang:
1 Online-Ressource (XIV, 122 p. 1 illus)
text file PDF
Schriftenreihe:
SpringerBriefs in Mathematics
ISBN:
9789811399497
ISSN:
2191-8198
DOI:
10.1007/978-981-13-9949-7
Schlagworte:
Logic, Symbolic and mathematical
Bezugswerke:
Links: