Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

Bibliographic Details
Main Authors: Arkoudas, Konstantine (Author), Musser, David R. (Author)
Format: Book
Language:English
Published: Cambridge, MA MIT Press [2017]
Subjects:
Computer science > Mathematics.
Proof theory.