Methods of cut-elimination - Baaz, Matthias; Leitsch, Alexander 1952-.; SpringerLink (Online service). (Dordrecht Heidelberg New York Springer, 2011)
Electronic reproduction.
Keywords: Proof theory; Mathematics; Electronic books