@article{1183731798, author = {Mostowski, Andrzej}, title = {Review: B. A. Trahtenbrot, On Recursive Separability}, journal = {J. Symbolic Logic}, volume = {19}, number = {1}, year = {1954}, language = {en}, url = {http://dml.mathdoc.fr/item/1183731798} }
Mostowski, Andrzej. Review: B. A. Trahtenbrot, On Recursive Separability. J. Symbolic Logic, Tome 19 (1954) no. 1, . http://gdmltest.u-ga.fr/item/1183731798/