Ordinal Analysis with an Introduction to Proof Theory
Publisher: Springer
Published: Sep 22, 2020
Format: hardcover
ISBN-13: 9789811564581
Notes: Source title: Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)