![](/img/cover-not-exists.png)
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic
Albert VisserVolume:
13
Language:
english
Pages:
17
DOI:
10.1007/bf00297579
Date:
February, 1984
File:
PDF, 529 KB
english, 1984