| 000 | 00810nam a22002177a 4500 | ||
|---|---|---|---|
| 005 | 20260622142036.0 | ||
| 008 | 260622s2023 |||||||| |||| 00| 0 eng d | ||
| 020 | _a9780262544849 | ||
| 040 | _cPK-LaUMT | ||
| 082 |
_a511.3 _bRES-L |
||
| 100 | 1 |
_aGreg, Restall _913111 |
|
| 245 | 1 | 0 |
_aLogical methods / _cGreg Restall and Shawn Standefer |
| 260 |
_aCambridge : _bThe MIT Press, _c2023 |
||
| 300 | _axiv, 270 p. | ||
| 500 | _aIncludes bibliographical references and index. | ||
| 520 | _a"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"-- Provided by publisher | ||
| 546 | _aEng | ||
| 650 |
_aLogic-textbooks _913112 |
||
| 700 | 1 |
_aStandefer, Shawn _913113 |
|
| 942 | _cBK | ||
| 999 |
_c141247 _d141247 |
||