![](/img/cover-not-exists.png)
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$Σ2 Numerations
Kurahashi, TaishiLanguage:
english
Journal:
Studia Logica
DOI:
10.1007/s11225-017-9782-4
Date:
February, 2018
File:
PDF, 517 KB
english, 2018