00720cam a2200217 i 4500 22466304 DLC 20260625100836.0 t| 220315s2023 enka b 001 0 eng 9781108478755 (hbk.) DLC eng rda Krea DLC DLC-MRC 511.3 AVI Avigad, Jeremy, 211 Mathematical logic and computation / Jeremy Avigad. Cambridge : Cambridge University Press, 2023. xii, 513 pages : illustrations 27 cm. Logic, Symbolic and mathematical http://id.loc.gov/authorities/subjects/sh85078115 205 ddc BK 124393 124393 0 0 ddc 0 0 SIAS SRICITYLIB SRICITYLIB 2026-06-25 Atlantic - 1214019/09 8482.50 0 511.3 AVI K19391 2026-06-25 10:09:01 2026-06-25 BK