Advances in Proof Theory
Publisher: Birkhäuser
Published: May 12, 2016
Format: hardcover
Number of pages: 437
ISBN-13: 9783319291963
Notes: Source title: Advances in Proof Theory (Progress in Computer Science and Applied Logic (28))