| 000 | 00720cam a2200217 i 4500 | ||
|---|---|---|---|
| 001 | 22466304 | ||
| 003 | DLC | ||
| 005 | 20260625100836.0 | ||
| 007 | t| | ||
| 008 | 220315s2023 enka b 001 0 eng | ||
| 020 | _a9781108478755 (hbk.) | ||
| 040 |
_aDLC _beng _erda _cKrea _dDLC _dDLC-MRC |
||
| 082 | 0 | 0 | _a511.3 AVI |
| 100 | 1 |
_aAvigad, Jeremy, _9211 |
|
| 245 | 1 | 0 |
_aMathematical logic and computation / _cJeremy Avigad. |
| 260 |
_aCambridge : _bCambridge University Press, _c2023. |
||
| 300 |
_axii, 513 pages : _billustrations _c27 cm. |
||
| 650 | 0 |
_aLogic, Symbolic and mathematical _0http://id.loc.gov/authorities/subjects/sh85078115 _9205 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c124393 _d124393 |
||