NCID | DA12225438 |
名称(HDNG) | D'Ottaviano, Itala M. L., 1944- |
注記(NOTE) | SRC:Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors(American Mathematical Society, 1999) |