TY  - JOUR
AU  - G. Kreisel
AU  - H. Putnam
TI  - Eine Unableitbarkeitsmethode für den intuitionistischen Aussagenkalkül.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1957
SP  - 74
EP  - 78
VL  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1957__3_137735/
ID  - AMLG_1957__3_137735
ER  -