Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle (SpringerBriefs in Mathematics)

by Yong Cheng Paperback details (USA). ISBN: 978-981-13-9948-0 ISBN-10: 981-13-9948-4 Springer · 2019