Elementary interpretations of negationless arithmetic

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

E. López-Escobar Fundamenta Mathematicae 82 (1974), 25-38 DOI: 10.4064/fm-82-1-25-38