%0 Journal Article
%A G. Kreisel
%A H. Putnam
%T Eine Unableitbarkeitsmethode für den intuitionistischen Aussagenkalkül.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1957
%P 74-78
%V 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1957__3_137735/
%F AMLG_1957__3_137735