✦ LIBER ✦

Herbrand consistency of some finite fragments of bounded arithmetical theories

✍ Scribed by Salehi, Saeed

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Herbrand consistency of some arithmetica

✍ Salehi, Saeed 📂 Article 📅 2012 🏛 Association for Symbolic Logic 🌐 English ⚖ 261 KB

Proving Consistency of Equational Theori

✍ Arnold Beckmann 📂 Article 📅 2002 🏛 Association for Symbolic Logic 🌐 English ⚖ 387 KB