Avigad, Jeremy, <br/><br/>
Mathematical logic and computation / 
Jeremy Avigad. 
 - Cambridge :  Cambridge University Press,  2023. 
 - xii, 513 pages :  illustrations  27 cm. 
<br/><br/><label>ISBN: </label>9781108478755 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>511.3 AVI