Fundamental proof methods in computer science a computer-based approach

Fundamental proof methods in computer science a computer-based approach

Detalhes bibliográficos
Main Authors: Arkoudas, Konstantine (Author), Musser, David R. (Author)
Formato: Livro
Idioma:English
Publicado em: Cambridge, MA MIT Press [2017]
Assuntos:
Computer science > Mathematics.
Proof theory.