Elementary interpretations of negationless arithmetic
Fundamenta Mathematicae, Tome 82 (1974) no. 1, pp. 25-38
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@article{10_4064_fm_82_1_25_38,
author = {E. L\'opez-Escobar},
title = {Elementary interpretations of negationless arithmetic},
journal = {Fundamenta Mathematicae},
pages = {25--38},
publisher = {mathdoc},
volume = {82},
number = {1},
year = {1974},
doi = {10.4064/fm-82-1-25-38},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-82-1-25-38/}
}
TY - JOUR AU - E. López-Escobar TI - Elementary interpretations of negationless arithmetic JO - Fundamenta Mathematicae PY - 1974 SP - 25 EP - 38 VL - 82 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-82-1-25-38/ DO - 10.4064/fm-82-1-25-38 LA - en ID - 10_4064_fm_82_1_25_38 ER -
E. López-Escobar. Elementary interpretations of negationless arithmetic. Fundamenta Mathematicae, Tome 82 (1974) no. 1, pp. 25-38. doi: 10.4064/fm-82-1-25-38
Cité par Sources :