%0 Journal Article
%A Justus Diller
%A Werner Nahm
%T Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1974
%P 49-66
%V 16
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1974__16_137884/
%F AMLG_1974__16_137884