Computer Science Press

Truth, Deduction, Computation Ruth E. Davis 1989 Logic Computer Science Press

A nice touch in this activity book is the peel-and-stick reward badges.