# Fundamental Proof Methods in Computer Science

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

![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)

- Authors: [Konstantine Arkoudas](https://www.bookquiver.com/konstantine-arkoudas), [David Musser](https://www.bookquiver.com/david-musser)
- Language: en_US
- Published: 2017-05-05

## 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...

## Editions

### Fundamental Proof Methods in Computer Science

- Publisher: the_mit_press
- ISBN: 978-02-6203-553-8
- Pages: 976
- Published: 2017-05-05
- Language: en_US