Conference | Speakers | Profile
Valeri Plisko
Arithmetic complexity of the predicate logics of complete arithmetic theories
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer
Conference | Speakers | Profile
Arithmetic complexity of the predicate logics of complete arithmetic theories
2003
in: Philosophical dimensions of logic and science, Dordrecht : Springer