Proof Theory and Automated Deduction (Applied Logic Series)
Edition: 1 edition
Publisher: Springer
Published: November 30, 2001
Language: eng
Format: Paperback
Number of pages: 444
ISBN-13: 9781402003684
Subjects: Mathematical logic; Science/Mathematics; Mathematics; Logic; Mathematics / Logic