000			01388nam a2200325 a 4500
005			20250930112740.0
008			010425s1977 ne a 000 0 eng
020			_a0720407524
039		9	_a200104251154 _bsharifah _y04-25-2001 _zsharifah
090			_aQA9.4.L37 1976[00008031798]
090			_aQA9.4
111	2		_aLatin-American Symposium on Mathematical Logic, _n( 3rd, _cState University of Campinas, _d1976 )
245	1	0	_aNon-classical logics, model theory, and computability : _bproceedings of the Third Latin-American Sysposium on Mathematical Logic, Campinas, Brazil, July 11-17 1976 / _cedited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
260			_aAmsterdam : _bNorth-Holland Pub. , _c1977
300			_axviii, 307 p. : _bill. ; _c23 cm.
440			_aStudies in logic and the foundations of mathematics ; _vv. 89
504			_aIncludes bibliographical references
650		0	_aNonclassical mathematical logic _vCongresses _960577
650		0	_aModel theory _xCongresses
650		0	_aComputable functions _xCongresses
700	1		_aArruda, A. I.
700	1		_aCosta, Newton C. A. da
700	1		_aChuaqui, R.
907			_a.b12831256 _b2021-05-28 _c2019-11-12
942			_c01 _n0 _kQA9.4.L37 1976[00008031798]
914			_avtls000293179
991			_aFakulti Sains dan Sumber Alam
998			_at _b2001-12-04 _cm _da _feng _gne _y0 _z.b12831256
999			_c283724 _d283724