TY - GEN AU - MacCormick, John. TI - What can be computed ? a practical guide to the theory of computation SN - 9780691170664 U1 - 004 PY - 2018/// CY - New Jersey PB - Princeton University Press KW - Computer Science KW - Computer Science Philosophy KW - Computer Science History KW - Mathematics Study Teaching N1 - Bibliography details including index ER -