✦ LIBER ✦

Proof-theoretical analysis of order relations

✍ Scribed by Sara Negri; Jan von Plato; Thierry Coquand

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof-theoretic analysis of termination

✍ Wilfried Buchholz 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 522 KB

A proof-theoretic analysis of collection

✍ Lev D. Beklemishev 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 216 KB

Computability-theoretic and proof-theore

✍ Rodney G. Downey; Denis R. Hirschfeldt; Steffen Lempp; Reed Solomon 📂 Article 📅 2003 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 987 KB

Sequent calculus proof theory of intuiti

✍ Sara Negri 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 152 KB

Proof-theoretic analysis by iterated ref

✍ L.D. Beklemishev 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 343 KB

A proof system for the first-order relat

✍ Matthew C.B. Hennessy 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 829 KB