Fundamental proof methods in computer science : a computer-based approach /
Arkoudas, Konstantine,author.
Musser, David R.,author.
Includes bibliographical references and index.
Computer science
Proof theory.
Computer science
Proof theory.
Fundamental proof methods in computer science.