NCID | DA0192979X |
名称(HDNG) | Brazilian Conference on Mathematical Logic |
生没年(DATE) | 1977;1996 |
から見よ(SF) | Conference on Mathematical Logic, Brazilian |
注記(NOTE) | Its 1st, State University of Campinas, 1977. Mathematical logic, c1978: pref. (First Brazilian Conference on Mathematical Logic held at State University of Campinas, Brazil, 4-6 July 1977) EDSRC: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) |
LCAID | 78053156 |