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.
1999
QA76.9.L36 B73 1996
Linked e-resources
Linked Resource
Online Access
Details
Title
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.
Meeting Name
Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil), issuing body.
ISBN
0821813641 (pbk. : alk. paper)
9780821813645
9780821878262 (e-book)
9780821813645
9780821878262 (e-book)
Published
Providence, Rhode Island : American Mathematical Society, 1999.
Language
English
Description
1 online resource (344 pages) : illustrations.
Call Number
QA76.9.L36 B73 1996
Dewey Decimal Classification
005.1/01/5113
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Carnielli, Walter A. (Walter Alexandre), editor.
D'Ottaviano, Itala M. L., 1944- editor.
D'Ottaviano, Itala M. L., 1944- editor.
Series
Contemporary mathematics (American Mathematical Society) ; 235.
Available in Other Form
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources