عنوان
پدید آورنده
موضوع
رده
QA 76.9 .L36B7 1996
QA
76
.
9
.
L36B7
1996
کتابخانه
محل استقرار
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
11th : 1996 : Salvador, Brazil
Providence, RI
American Mathematical Society
c1999
xi, 326 p.: ill
Contemporary mathematics; 532
Includes bibliographies
ISBN 0821813641
Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
1
Congresses ، Computer logic
Congresses ، Logic, Symbolic and mathematical
QA
76
.
9
.
L36B7
1996
AU
AU Carnielli, Walter Alexandre
AU D'Ottaviano, Itala M. L., 1944-
TI
SE Contemporary mathematics )American Mathematical Society( v.235
Brazilian Conference on Mathematical Logic
