Geodesic
1 - Consistency and Faithful Interpretations.
Archiv für mathematische Logik und Grundlagenforschung, Tome 6 (1962), pp. 52-63.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : mathematical logic 
@article{AMLG_1962__6_137763,
     author = {G. Kreisel and S. Feferman},
     title = {1 - {Consistency} and {Faithful} {Interpretations.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {52--63},
     publisher = {mathdoc},
     volume = {6},
     year = {1962},
     zbl = {0122.24502},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1962__6_137763/}
}
TY  - JOUR
AU  - G. Kreisel
AU  - S. Feferman
TI  - 1 - Consistency and Faithful Interpretations.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1962
SP  - 52
EP  - 63
VL  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1962__6_137763/
ID  - AMLG_1962__6_137763
ER  - 
%0 Journal Article
%A G. Kreisel
%A S. Feferman
%T 1 - Consistency and Faithful Interpretations.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1962
%P 52-63
%V 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1962__6_137763/
%F AMLG_1962__6_137763
G. Kreisel; S. Feferman. 1 - Consistency and Faithful Interpretations.. Archiv für mathematische Logik und Grundlagenforschung, Tome 6 (1962), pp. 52-63. http://geodesic.mathdoc.fr/item/AMLG_1962__6_137763/