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  -