| 000 | 00718cam a2200181 a 4500 | ||
|---|---|---|---|
| 008 | 120308s2012 enka be 001 0 eng | ||
| 020 | _a9780521898331 (hardback) | ||
| 080 |
_a510.6 _bCOU |
||
| 100 | 1 |
_aCourcelle, B. _912296 |
|
| 245 | 1 | 0 |
_aGraph structure and monadic second-order logic : _ba language-theoretic approach / _cBruno Courcelle, Joost Engelfriet. |
| 260 |
_aCambridge ; _aNew York : _bCambridge University Press, _c2012. |
||
| 300 |
_axiv, 728 p. : _bill. ; |
||
| 490 | 0 |
_aEncyclopedia of mathematics and its applications ; _v138 |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical _xGraphic methods. _912293 |
|
| 650 | 7 |
_aMATHEMATICS / Logic. _912294 |
|
| 700 | 1 |
_aEngelfriet, Joost. _912295 |
|
| 942 | _cBK | ||
| 999 |
_c167421 _d167421 |
||