@article{1183736511, author = {Thomas, Ivo}, title = {Replacement in Some Modal Systems}, journal = {J. Symbolic Logic}, volume = {33}, number = {1}, year = {1968}, pages = { 569-570}, language = {en}, url = {http://dml.mathdoc.fr/item/1183736511} }
Thomas, Ivo. Replacement in Some Modal Systems. J. Symbolic Logic, Tome 33 (1968) no. 1, pp. 569-570. http://gdmltest.u-ga.fr/item/1183736511/