Fundamental proof methods in computer science a computer-based approach - Arkoudas, Konstantine; Musser, David R. (Cambridge, MA MIT Press, 2017)
Includes bibliographical references and index.
Keywords: Computer science -- Mathematics; Proof theory