Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Model–Theoretic Approach to Proof Theory

Part of the Trends in Logic Book Series (volume 51)
DOI: 10.1007/978-3-030-28921-8
ISBN: 978-3-030-28920-1
Publisher: Springer International Publishing - Springer Journals
Sep 27, 2019

1 - 5 of 5 Chapters