000			00431nam a22001697a 4500
003			OSt
008			250709b |||||||| |||| 00| 0 eng d
020			_a9789811260667
082			_a005.131 _bRIC
100			_aRichards, Dana
245			_aLogic and Language models for Computer Science
250			_a4th
260			_aNew Jersey _bWorld Scientific _c2023
300			_axix,476p.
700			_aHamburger, Henry
942			_2ddc _cBK
999			_c10492 _d10492