000			01449n a2200361#a 4500
001			13783
003			P5A
005			20240404163431.0
008			770420s1977 ne a b 100 0 eng||
010			_a77007366
020			_a0720407524
035			_aocm02964743
040			_aDLC _cDLC _dP5A
049			_aP5AA
082	0	4	_a511.8 _bN812
090			_alf4
111	2		_aLatin-American Symposium on Mathematical Logic _n(3rd :: _d1976 :: _cState University of Campinas). _919767
245	1	0	_aNon-classical logics, model theory, and computability: _bproceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976/ _cedited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
260			_aAmsterdam; _aNew York; _bNorth-Holland; _aNew York: _bNorth-Holland/Elsevier, _c1977.
300			_axviii, 307 p.: _bill.; _c23 cm.
500			_aErrata slip inserted.
504			_aIncludes bibliographies.
650	0	0	_aNonclassical mathematical logic- _xCongresses. _919768
650	0	0	_aModel theory- _xCongresses. _926662
650	0	4	_aComputable functions- _xCongresses. _918609
697			_aLógica e Fundamentos 04- _x"Studies in Logic" _923801
700	1		_aArruda, A. I. _q(Ayda Ignez) _935635
700	1		_aCosta, Newton C. A. da _938931
700	1		_aChuaqui, R. _945930
942			_2impa _cBK
999			_c14507 _d14507
490		0	_aStudies in logic and the foundations of mathematics; _vv. 89. _944413