Browse editions

Current edition
Methods of Cut-Elimination by Alexander Leitsch, Matthias Baaz

Methods of Cut-Elimination

Trends in Logic

Alexander Leitsch, Matthias Baaz

290 pages • missing pub info (editions)

nonfiction computer science mathematics informative medium-paced
Other editions (1)
Expand filter menu Filter editions
Methods of Cut-Elimination by Alexander Leitsch, Matthias Baaz

Methods of Cut-Elimination

Trends in Logic

Alexander Leitsch, Matthias Baaz

290 pages • missing pub info (editions)

nonfiction computer science mathematics informative medium-paced