| 000 | 00571 a2200205 4500 | ||
|---|---|---|---|
| 001 | 131533 | ||
| 003 | OSt | ||
| 005 | 20211028111554.0 | ||
| 008 | |||
| 082 |
_a005.1015113 _bH97L |
||
| 100 | 1 | _aHuth, Michael | |
| 245 | 1 |
_aLogic in computer science : modelling and reasoning about systems _cby Michael Huth and Mark Ryan |
|
| 260 |
_aUK _bCambridge university press _c2010 |
||
| 300 | _a427p. | ||
| 653 | _aComputer Science | ||
| 653 | _aComputer logic | ||
| 653 | _aLogic programming | ||
| 700 | _aRyan, Mark | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c5999 _d5999 |
||