| 000 | 00665cam a2200193 a 4500 | ||
|---|---|---|---|
| 999 |
_c330203 _d330203 |
||
| 020 | _a9781439801673 (hardcover : alk. paper) | ||
| 020 | _a1439801673 (hardcover : alk. paper) | ||
| 082 | 0 | 0 | _a511.3 |
| 100 | 1 | _aMarek, Wiktor. | |
| 245 | 1 | 0 |
_aIntroduction to mathematics of satisfiability / _cVictor W. Marek. |
| 260 |
_aBoca Raton : _bCRC Press, _cc2009. |
||
| 300 |
_axiii, 350 p. : _bill. ; |
||
| 490 | 1 | _aChapman & Hall/CRC studies in informatics series | |
| 500 | _a"A Chapman & Hall book." | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 | _aPropositional calculus. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 942 | _cBK | ||