Login / Signup
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic.
Albert Visser
Published in:
J. Philos. Log. (1984)
Keyphrases
</>
machine learning