@article{1183744324,
title = {Logical Methods in Mathematics and Computer Science: A Symposium in Honor of Anil Nerode's Sixtieth Birthday},
journal = {J. Symbolic Logic},
volume = {58},
number = {1},
year = {1993},
pages = { 1091-1092},
language = {en},
url = {http://dml.mathdoc.fr/item/1183744324}
}
(éd.). Logical Methods in Mathematics and Computer Science: A Symposium in Honor of Anil Nerode's Sixtieth Birthday. J. Symbolic Logic, Tome 58 (1993) no. 1, pp. 1091-1092. http://gdmltest.u-ga.fr/item/1183744324/