%0 Journal Article
%A Georg Kreisel
%T From Foundations to Science: Justifying and Unwinding Proofs
%J Zbornik radova
%D 1977
%P 63 
%V 2
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZR_1977_2_10_a4/
%G en
%F ZR_1977_2_10_a4