Fundamental Proof Methods in Computer Science

Fundamental Proof Methods in Computer Science

A Computer-Based Approach

by Konstantine Arkoudas and David Musser