@article{1183730976, author = {McKinsey, J. C. C.}, title = {Review: Soren Hallden, On the Decision-Problem of Lewis' Calculus S5}, journal = {J. Symbolic Logic}, volume = {14}, number = {4}, year = {1950}, language = {en}, url = {http://dml.mathdoc.fr/item/1183730976} }
McKinsey, J. C. C. Review: Soren Hallden, On the Decision-Problem of Lewis' Calculus S5. J. Symbolic Logic, Tome 14 (1950) no. 4, . http://gdmltest.u-ga.fr/item/1183730976/