@article{1093891908, author = {Kohn, Robert V.}, title = {Generalization of a result of Halld\'en.}, journal = {Notre Dame J. Formal Logic}, volume = {16}, number = {1}, year = {1975}, pages = { 605-606}, language = {en}, url = {http://dml.mathdoc.fr/item/1093891908} }
Kohn, Robert V. Generalization of a result of Halldén.. Notre Dame J. Formal Logic, Tome 16 (1975) no. 1, pp. 605-606. http://gdmltest.u-ga.fr/item/1093891908/