Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /

Bibliographic Details
Corporate Author: Brazilian Conference on Mathematical Logic Salvador, Bahia
Other Authors: Carnielli, Walter Alexandre (ed.), D'Ottaviano, Itala M. L., 1944- (ed.)
Format: Conference Proceeding Book
Language:English
Published: Providence : American Mathematical Society, 1999.
Series:Contemporary mathematics ; v. 235
CONM ; v. 235
Subjects:

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20190820155700.0
008 130506s1999 riu||||| |||| 00| 0 eng d
952 |0 0  |1 0  |2    |4 0  |6 AMS_000000000000000_CONM_V__23  |7 0  |9 10481  |a MMA  |b MMA  |c 91  |d 2008-06-09  |e FOMEC99  |l 0  |o AMS CONM v. 235   |p 14991  |r 2008-06-09 00:00:00  |w 2008-06-09  |y LIBRO  |z Ver Colección AMS. Contemporary mathematics. 
999 |c 8210  |d 8210 
020 |a 0821813641 
040 |a AR_CdUFM  |c AR_CdUFM 
111 2 |a Brazilian Conference on Mathematical Logic   |n (11th :  |d 1996 :  |c Salvador, Bahia)  |9 19281 
245 1 0 |a Advances in contemporary logic and computer science   |b proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /   |c Walter Alexandre Carnielli, Itala M. L. D'Ottaviano, editors. 
260 |a Providence :   |b American Mathematical Society,   |c 1999. 
300 |a xi, 326 p. ;  |c 26 cm. 
490 0 |a Contemporary mathematics ;   |v v. 235 
490 0 |a CONM ;  |v v. 235 
590 |a Ver Colección AMS. Contemporary mathematics.  
650 4 |a Lógica matemática. 
700 1 |9 2734  |a Carnielli, Walter Alexandre,   |e ed. 
700 1 |9 4385  |a D'Ottaviano, Itala M. L.,   |d 1944-,  |e ed. 
942 |c LIBRO  |2   
945 |a AB 
945 |a MCR  |d 2013-05-06