| 000 | 00315nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 230718s9999||||xx |||||||||||||| ||und|| | ||
| 082 | _a. | ||
| 100 | _aHUTH MICHAEL | ||
| 245 | 0 |
_aLOGIC IN COMPUTER SCIENCE: MODELING AND REASONING _bABOUT SYSTEMS |
|
| 260 |
_bCAMBRIDGE UNIVERSITY PRESS _c2005 _aINDIA |
||
| 300 | _a427 | ||
| 999 |
_c46598 _d46598 |
||