Arithmetic complexity of the predicate logics of complete arithmetic theories

2003

Valeri Plisko

in: Philosophical dimensions of logic and science, Berlin,