@article{1183738682, author = {Nerode, Anil and Barwise, K. J.}, title = {Meeting of the Association for Symbolic Logic}, journal = {J. Symbolic Logic}, volume = {38}, number = {1}, year = {1973}, pages = { 348-358}, language = {en}, url = {http://dml.mathdoc.fr/item/1183738682} }
Nerode, Anil; Barwise, K. J. Meeting of the Association for Symbolic Logic. J. Symbolic Logic, Tome 38 (1973) no. 1, pp. 348-358. http://gdmltest.u-ga.fr/item/1183738682/