| 000 | 00471nam a22001817a 4500 | ||
|---|---|---|---|
| 999 |
_c52680 _d52680 |
||
| 008 | 190515b ||||| |||| 00| 0 eng d | ||
| 020 | _a9783319276823 | ||
| 041 | _aEng | ||
| 080 |
_a681 _bLNCS |
||
| 100 | _aArtemov, Sergei | ||
| 245 | _aLogical foundations of Computer Science | ||
| 260 |
_bSpringer _c2016 |
||
| 300 | _a406 p. | ||
| 490 |
_aLecture Notes in Computer Science _v9537 |
||
| 690 | _aComputer Science | ||
| 700 | _aNerode, Anil Eds., | ||
| 942 | _cBK | ||