000			01128nam a22003257a 4500
001			3635467
003			Ge_NSL
005			20160524124942.0
008			160524s1977 nl ||||| |||| 00| 0 eng d
010			_a 75033890
020			_a0720428440
040			_aDLC _cDLC _dDLC
041			_aeng
050	0	0	_aQA9 _b.B3953
080			_a517.11
082	0	0	_a511/.3
100	1		_aBell, J. L. _q(John Lane)
245	1	2	_aA course in mathematical logic / _cby J. L. Bell and M. Machover.
260			_aAmsterdam : _bNorth-Holland Pub. Co. ; _aNew York : _bsole distributors for the U.S.A. and Canada American Elsevier Pub. Co., _c1977.
300			_axviii, 599 p. ; _c23 cm.
500			_aIncludes indexes.
504			_aBibliography : p. [576]-583.
650		0	_aLogic, Symbolic and mathematical.
653			_aმათემატიკა
653			_aმათემატიკური ლოგიკა
700	1		_aMachover, Moshé,
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0601/75033890-d.html
906			_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg
942			_2udc _cMX
999			_c58789 _d58789