✦ LIBER ✦
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic
✍ Scribed by Albert Visser
- Publisher
- Springer Netherlands
- Year
- 1984
- Tongue
- English
- Weight
- 529 KB
- Volume
- 13
- Category
- Article
- ISSN
- 0022-3611
No coin nor oath required. For personal study only.