Login / Signup
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Σ 2 Numerations.
Taishi Kurahashi
Published in:
Stud Logica (2018)
Keyphrases
</>