---

＜電子ブック＞
Advances in contemporary logic and computer science : 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.
(Contemporary Mathematics ; v. 235)

出版者	Providence, RI : American Mathematical Society
出版年	1999
大きさ	1 online resource (1 online resource (xi, 326 p. : ill.))
著者標目	*Brazilian Conference on Mathematical LogicSalvador, Brazil)1996 : Carnielli, Walter A. D'Ottaviano, Itala M. L.,1944-
一般注記	Includes bibliographical references. Access is restricted to licensed institutions Electronic reproduction. Mode of access : World Wide Web Description based on print version record.