Ordinal Analysis with an Introduction to Proof Theory
Publisher: Springer Singapore Pte. Limited
Published: 2021
Language: eng
Number of pages: 313
ISBN-13: 9789811564611