Proof Theory
Subtitle: Sequent Calculi and Related Formalisms
Publisher: CRC Press LLC
Published: 2024
Language: eng
Number of pages: 386
ISBN-13: 9781032920771
Subjects: Set theory; Arithmetic