%0 Journal Article
%A Pla Carrera, Josep
%T Formalización del sistema S1 de Lewis sin reglas de sustitución.
%J Stochastica
%D 1979
%P 39-45
%V 3
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/STO_1979_1979_1_a2/
%G en
%F STO_1979_1979_1_a2