✦ LIBER ✦

Closed Fragments of Provability Logics of Constructive Theories

✍ Scribed by Visser, Albert

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logics of Provability

✍ Review by: Timothy Williamson 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

Provability logics for natural turing pr

✍ L. D. Beklemishev 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 974 KB

On predicate provability logics and binu

✍ Kurahashi, Taishi 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 200 KB

The provability logics of recursively en

✍ Albert Visser 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 529 KB

Provably recursive functions of construc

✍ Morteza Moniri 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 159 KB

Decidable and enumerable predicate logic

✍ Giorgie Dzhaparidze 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 958 KB