Cover Image

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.
Description
Physical Description:xxvii, 941 pages ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9780262035538
0262035537