TY - BOOK AU - MacCormick,John TI - What can be computed?: a practical guide to the theory of computation SN - 9780691170664 AV - QA76 .M2146 2018 U1 - 004 23 PY - 2018///] CY - Princeton, New Jersey PB - Princeton University Press KW - Computer science KW - Philosophy KW - History N1 - Includes bibliographical references (pages 373-374) and index ER -