A Model–Theoretic Approach to Proof Theory
Publisher: Springer
Published: Sep 26, 2019
Format: hardcover
Number of pages: 109
ISBN-13: 9783030289201
Notes: Source title: A Model–Theoretic Approach to Proof Theory (Trends in Logic)