![](/img/cover-not-exists.png)
On arithmetical completeness of the logic of proofs
Iwata, Sohei, Kurahashi, TaishiLanguage:
english
Journal:
Annals of Pure and Applied Logic
DOI:
10.1016/j.apal.2018.09.004
Date:
September, 2018
File:
PDF, 342 KB
english, 2018