Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari. A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic. Notre Dame Journal of Formal Logic, 60(3):481-489, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.