TY  - JOUR
AU  - H. Arnold Schmidt
TI  - Protologische Untersuchugen I: ein allgemeiner Rahmen für naturgemässe Deduktion.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1971
SP  - 70
EP  - 94
VL  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1971__9_137789/
ID  - AMLG_1971__9_137789
ER  -