Elementary interpretations of negationless arithmetic
Fundamenta Mathematicae, Tome 82 (1974) no. 1, pp. 25-38
Cet article a éte moissonné depuis 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},
year = {1974},
volume = {82},
number = {1},
doi = {10.4064/fm-82-1-25-38},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-82-1-25-38/}
}
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 :