AAlan Turing's Systems of LogicAlan Turing's Systems of Logicde Andrew W. AppelEdiciones (1)Alan Turing's Systems of Logic (2021)Princeton University Press · inglés · ISBN 9781400843213Más obras de Andrew W. AppelAlan Turing's Systems of Logic: The Princeton ThesisProgram Logics for Certified CompilersMModern Compiler Implementation in JavaModern Compiler Implementation in Java