000			00522nam a22001577a 4500
008			150817b xxu||||| |||| 00| 0 eng d
020			_a9788173716300
082			_a511.3 _bVIS-I
100			_aViswanath, Kasturi
245			_aIntroduction to mathematical computer science _cKasturi Viswanath
260			_aHyderabad : _bUniversities Press, _c©2008
300			_axxiv, 280p: _bill: _c23 cm.
440			_aSystems, Models, Informatics and control (SMIC)
650			_aLogic, Symbolic and mathematical.
942			_2ddc _cBK
999			_c10977 _d10977