@article{1183738469,
author = {Bull, R. A.},
title = {Review: Anjan Shukla, Decision Procedures for Lewis System S1 and Related Modal Systems},
journal = {J. Symbolic Logic},
volume = {37},
number = {1},
year = {1972},
pages = { 754-755},
language = {en},
url = {http://dml.mathdoc.fr/item/1183738469}
}
Bull, R. A. Review: Anjan Shukla, Decision Procedures for Lewis System S1 and Related Modal Systems. J. Symbolic Logic, Tome 37 (1972) no. 1, pp. 754-755. http://gdmltest.u-ga.fr/item/1183738469/