%0 Journal Article
%A Curry, Haskell B.
%T The equivalence of two definitions of elementary formal system
%J Compositio Mathematica
%D 1968
%P 13-20
%V 20
%I Wolters-Noordhoff Publishing
%U http://www.numdam.org/item/CM_1968__20__13_0/
%G en
%F CM_1968__20__13_0