# Fundamental Proof Methods in Computer Science

Canonical: https://www.bookquiver.com/konstantine-arkoudas/fundamental-proof-methods-in-computer-science/9780262035538

![Fundamental Proof Methods in Computer Science](https://quivercdn.com/covers/the-mit-press/konstantine-arkoudas/fundamental-proof-methods-in-computer-science_978-02-6203-553-8.jpg?v=2026-06-10%2019%3A44%3A55)

- Book: [Fundamental Proof Methods in Computer Science](https://www.bookquiver.com/konstantine-arkoudas/fundamental-proof-methods-in-computer-science) ([Fundamental Proof Methods in Computer Science.md](https://www.bookquiver.com/konstantine-arkoudas/fundamental-proof-methods-in-computer-science.md))
- Authors: [Konstantine Arkoudas](https://www.bookquiver.com/konstantine-arkoudas), [David Musser](https://www.bookquiver.com/david-musser)
- Publisher: the_mit_press
- ISBN: 978-02-6203-553-8
- Pages: 976
- Published: 2017-05-05
- Language: en_US
- Binding: Hardcover

## Description

A textbook that teaches students to read and write proofs using Athena. Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying...