TY  - JOUR
AU  - E.G.K. López-Escobar
TI  - König's Lemma, the ...-rule and primitive recursive arithmetic.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1985
SP  - 67
EP  - 74
VL  - 25
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1985__25_138038/
ID  - AMLG_1985__25_138038
ER  -