@article{1183730738,
author = {Hallden, Soren},
title = {Results Concerning the Decision Problem of Lewis's Calculi S3 and S6},
journal = {J. Symbolic Logic},
volume = {14},
number = {4},
year = {1950},
pages = { 230-236},
language = {en},
url = {http://dml.mathdoc.fr/item/1183730738}
}
Hallden, Soren. Results Concerning the Decision Problem of Lewis's Calculi S3 and S6. J. Symbolic Logic, Tome 14 (1950) no. 4, pp. 230-236. http://gdmltest.u-ga.fr/item/1183730738/