Voir la notice de l'article provenant de la source Proyecto DML-E: Biblioteca Digital de Matemáticas
@article{STO_1979_1979_1_a2, author = {Pla Carrera, Josep}, title = {Formalizaci\'on del sistema {S1} de {Lewis} sin reglas de sustituci\'on.}, journal = {Stochastica}, pages = {39-45}, publisher = {mathdoc}, volume = {3}, number = {1}, year = {1979}, language = {en}, url = {http://geodesic.mathdoc.fr/item/STO_1979_1979_1_a2/} }
Pla Carrera, Josep. Formalización del sistema S1 de Lewis sin reglas de sustitución.. Stochastica, Tome 3 (1979) no. 1. http://geodesic.mathdoc.fr/item/STO_1979_1979_1_a2/