000			00644cam a22002054a 4500
999			_c432 _d432
003			OSt
005			20210118150204.0
008			091027s2010 sz a b 001 0 eng
020			_a9783764399764
040			_c
082	0	4	_a511.3 _bLI / B
100	1		_aLi, Wei _eAuthor
245	1	0	_aMathematical logic : _bfoundations for information science
260			_aBasel : _bBirkhäuser, _c©2010.
300			_axii, 261 p. : _bill. ; _c24 cm (Hardbound)
490			_aProgress in computer science and applied logic ; _v25
504			_aIncludes bibliographical references and index.
650		0	_aLogic, Symbolic and mathematical.
942			_2ddc _cBK