Review: D. J. Shoesmith and T. J. Smiley, Multiple-conclusion logic
Blass, Andreas
Bull. Amer. Math. Soc. (N.S.), Tome 2 (1980) no. 1, p. 242-246 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1980-01-14
Classification:  
@article{1183545225,
     author = {Blass, Andreas},
     title = {Review: D. J. Shoesmith and T. J. Smiley, Multiple-conclusion logic},
     journal = {Bull. Amer. Math. Soc. (N.S.)},
     volume = {2},
     number = {1},
     year = {1980},
     pages = { 242-246},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183545225}
}

Blass, Andreas. Review: D. J. Shoesmith and T. J. Smiley, Multiple-conclusion logic. Bull. Amer. Math. Soc. (N.S.), Tome 2 (1980) no. 1, pp.  242-246. http://gdmltest.u-ga.fr/item/1183545225/