Elementary interpretations of negationless arithmetic

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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