𝔖 Bobbio Scriptorium

✦ LIBER ✦

Provability logics for natural turing progressions of arithmetical theories

✍ Scribed by L. D. Beklemishev

Publisher: Springer Netherlands
Year: 1991
Tongue: English
Weight: 974 KB
Volume: 50
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370390

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The provability logics of recursively en

The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic

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