|
|
|
Advances in contemporary logic and computer science : [electronic resource] proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) | Carnielli, Walter A. (Walter Alexandre) | D'Ottaviano, Itala M. L, 1944-. Series: Contemporary mathematics (American Mathematical Society) ; v. 235.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, 1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|