000 00782nam a2200241 a 4500
003 AR-LpUBP
005 20231114180859.0
007 ta
008 030630s1980 bl g 100 0 por d
040 _aAR-LpUBP
_bspa
_cAR-LpUBP
080 _a517.11(061.3)
111 2 _aBrazilian conference on mathematical logic
_cRecife
_d1979
_n3
_914102
245 1 0 _aProceedings
260 _aSâo paulo :
_bSociedade brasileira de lógica,
_c1980.
300 _avi, 336 p. ;
_c24 cm.
500 _aBibliografía al final de capítulos
650 4 _aLOGICA MATEMATICA-CONGRESOS, CONFERENCIAS, ETC.
_914103
700 1 _aArruda, Ayda I.
_eed.
_914104
700 1 _aCosta, Newton C. A. de
_eed.
_914105
700 1 _aSette, Antinio Mario
_eed.
_914106
942 _cBK
999 _c13757
_d13757
988 _c