Proof Theory
Subtitle: Sequent Calculi and Related Formalisms
Publisher: Taylor & Francis Group
Published: 2014
Language: eng
Number of pages: 386
ISBN-13: 9780429099694