Advances in Proof Theory
Publisher: Birkhäuser
Published: May 30, 2018
Format: paperback
Number of pages: 440
ISBN-13: 9783319805139
Notes: Source title: Advances in Proof Theory (Progress in Computer Science and Applied Logic)