Mathematical logic and computation /
Avigad, Jeremy,
Mathematical logic and computation / Jeremy Avigad. - Cambridge : Cambridge University Press, 2023. - xii, 513 pages : illustrations 27 cm.
9781108478755 (hbk.)
Logic, Symbolic and mathematical
511.3 AVI
Mathematical logic and computation / Jeremy Avigad. - Cambridge : Cambridge University Press, 2023. - xii, 513 pages : illustrations 27 cm.
9781108478755 (hbk.)
Logic, Symbolic and mathematical
511.3 AVI