%0 Journal Article
%A R. P. Nederpelt
%T Presentation of Natural Deduction
%J Zbornik radova
%D 1977
%P 115 
%V 2
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZR_1977_2_10_a8/
%G en
%F ZR_1977_2_10_a8