%0 Journal Article
%A Gerhard Jäger
%T Beweistheorie von KPN.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1980
%P 53-64
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1980__20_137960/
%G de
%F AMLG_1980__20_137960