| 000 | nam a22 7a 4500 | ||
|---|---|---|---|
| 999 |
_c5111 _d5111 |
||
| 008 | 181010b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9783319276823 | ||
| 100 |
_aARTEMOV, Seigei _97504 |
||
| 245 | _aLogical Foundations of Computer Science | ||
| 260 |
_aSwitzerland _bSpringer International Publishing _c2016 |
||
| 300 | _ax,; 406p. | ||
| 650 |
_aComputer Science _91105 |
||
| 700 |
_aNERODE, Anil _97505 |
||
| 942 | _cBK | ||
| 050 | _aQA75.5.A78 | ||