000			00582nam a22001937a 4500
003			OSt
005			20260428103913.0
008			260204b |||||||| |||| 00| 0 eng d
020			_a9781666869569 (cb.)
040			_cNVSU Library Bambang
100			_aBrown, Jeremy
245			_aIntroduction to logic for computer science / _cJeremy Brown.
260			_aUSA: _bAmerican Academic Publisher, _cc2024.
300			_axiii, 308 p. ; _c26 cm.
504			_aIncludes bibliography & index.
650			_aSymbolic logic.
650			_aLogic design _zComputer science.
942			_2ddc _cBK _n0
999			_c4504 _d4504