| 000 | 00755nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | BDCtgAUW | ||
| 005 | 20250509172222.0 | ||
| 008 | 250509b bg ||||| |||| 00| 0 eng d | ||
| 020 | _a9780262544849 | ||
| 040 |
_aBDCtgAUW _cBDCtgAUW _dBDCtgAUW |
||
| 050 | _aBC71 .R4735 | ||
| 100 |
_aRestall, Greg _eAuthor _976988 |
||
| 245 | _aLogical Methods | ||
| 260 |
_aCambridge, Massachusetts : _b The MIT Press, _c2023 |
||
| 300 |
_a270 pages; _c26 cm |
||
| 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" | ||
| 650 |
_aLogic _vTextbooks _976989 |
||
| 700 |
_a Standefer, Shawn _eAuthor _976990 |
||
| 942 |
_2lcc _cBK _n0 |
||
| 999 |
_c14290 _d14290 |
||
| 887 |
_28 _aPapia Akter |
||
| 888 | _28 | ||