Formalización del sistema S1 de Lewis sin reglas de sustitución.
Stochastica, Tome 3 (1979) no. 1
Cet article a éte moissonné depuis 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},
year = {1979},
volume = {3},
number = {1},
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/