Von Wright-Anderson's decision procedures for Lewis's systems $S2$ånd $S3$
Ohnishi, Masao
Osaka Math. J., Tome 13 (1961) no. 1, p. 139-142 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1961-05-15
Classification:  02.27 
@article{1200690176,
     author = {Ohnishi, Masao},
     title = {Von Wright-Anderson's decision procedures for Lewis's systems $S2$\aa nd $S3$},
     journal = {Osaka Math. J.},
     volume = {13},
     number = {1},
     year = {1961},
     pages = { 139-142},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1200690176}
}

Ohnishi, Masao. Von Wright-Anderson's decision procedures for Lewis's systems $S2$ånd $S3$. Osaka Math. J., Tome 13 (1961) no. 1, pp.  139-142. http://gdmltest.u-ga.fr/item/1200690176/