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, Massachusetts : MIT Press, [2017]
Subjects:	Computer science > Mathematics. Proof theory.

Evans: Library Stacks