AboutSign inJoin
Fundamental Proof Methods in Computer Science

Fundamental Proof Methods in Computer Science A Computer-Based Approach

David Musser, David R. Musser, Konstantine Arkoudas — 2017
A textbook that teaches students to read and write proofs using Athena.
Sign up to use