000 01584nam a2200349 a 4500
005 20250914013338.0
008 981208s1988 xxu 000 0 eng
020 _a0821850768
039 9 _a201903011723
_bnikzal
_c200106112030
_djoriah
_y08-18-1999
_zload
040 _dUKM
090 _aQA9.A1L37 1985
090 _aQA9.A1
_bL37 1985
111 2 _aLatin-American Symposium on Mathematical Logic
_n(7th :
_d1985 :
_cState University of Campinas).
245 1 0 _aMethods and applications of mathematical logic :
_bproceedings of the VII Latin American Symposium on mathematical logic, held July 29-August 2, 1985 /
_cWalter A. Carnielli and Luiz Paulo de Alcantara, editors.
260 _aProvidence, R.I. :
_bAmerican Mathematical Society,
_c1988.
300 _axi, 250 p. ;
_c25 cm.
490 0 _aContemporary mathematics
_x0271-4132 ;
_vvol. 69
500 _aSponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.
504 _aIncludes bibliographies.
650 0 _aLogic, Symbolic and mathematical
_vCongresses.
700 1 _aCarnielli, Walter A.
_q(Walter Alexandre).
700 1 _aAlcantara, Luiz Paulo de,
_d1944-.
711 2 _aSociedade Brasileira de Logica a.
711 2 _aSociedade Brasileira de Matematica a.
711 2 _aAssociation for Symbolic Logic.
907 _a.b1146494x
_b2021-05-28
_c2019-11-12
942 _c01
_n0
_kQA9.A1L37 1985
914 _avtls000151863
991 _aFakulti Sains Matematik
998 _at
_b1999-05-08
_cm
_da
_feng
_gxxu
_y0
_z.b1146494x
999 _c148164
_d148164