Methods of Cut-Elimination
By: by Alexander Leitsch, Matthias Baaz
Contributors: Baaz, Matthias; SpringerLink (Online service)
Series: Trends in Logic -- 34
Publisher: Springer Science+Business Media B.V.
Published: 2011
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] /
ISBN-13: 9789400703193; 9789400703209
Subjects: Mathematics; Symbolic and mathematical Logic; Computer science