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
Bok Engelsk 1999 Brazilian Conference on Mathematical Logic
| Utgitt | Providence, R.I. : American Mathematical Society , c1999
|
|---|---|
| Omfang | XI, 326 s.
|
| Emner | |
| ISBN | 0821813641
|
