Is "Methods of Cut-Elimination" in the public domain?

Yes, "Methods of Cut-Elimination" by Alexander Leitsch is in the public domain.

What formats is "Methods of Cut-Elimination" available in?

PDF, EPUB, MOBI, and plain text.

Can I read "Methods of Cut-Elimination" on my Kindle?

Yes. Download the EPUB or MOBI version.

Front cover of Methods of Cut-Elimination by Alexander Leitsch

3 editions

2011 first published

III · Science

Methods of Cut-Elimination

Name: Methods of Cut-Elimination
Author: Alexander Leitsch

by Alexander Leitsch

Subjects Mathematics · Symbolic and mathematical Logic · Computer science · Automatic theorem proving · Proof theory · Mathematical Logic and Foundations

Language ENG

Free download

Download "Methods of Cut-Elimination"

PDF·EPUB·MOBI·TXT

No signup. No fees. Yours to keep.

About this book

Methods of Cut-Elimination, written by Alexander Leitsch, is now in the public domain and available here for free download. this title joins thousands of works in our science collection.

Click the download button above to receive the complete text in your preferred ebook format—PDF, EPUB, MOBI, or plain text.