Book

Logic and proof

by Marvin L. Bittinger, David Ellenbogen