@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/