✦ LIBER ✦

Length and Structure of Proofs

✍ Scribed by Rohit Parikh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof of the relationship between opti

✍ Philip McCann 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 177 KB

Some Results on the Length of Proofs

✍ R. J. Parikh 📂 Article 📅 1973 🏛 American Mathematical Society 🌐 English ⚖ 229 KB

Radical anti-realism, Wittgenstein and t

✍ Mathieu Marion 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 166 KB

Fragments of bounded arithmetic and the

✍ Pudlák, Pavel 📂 Article 📅 2008 🏛 Association for Symbolic Logic 🌐 English ⚖ 182 KB

Text Structure and Proof Structure

✍ C.F.M. Vermeulen 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 171 KB

Some remarks on lengths of propositional

✍ Samuel R. Buss 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 368 KB