Arithmetic complexity of the predicate logics of certain complete arithmetic theories
Valery PliskoVolume:
113
Year:
2001
Language:
english
Pages:
17
DOI:
10.1016/s0168-0072(01)00061-6
File:
PDF, 137 KB
english, 2001