Using Programs to Teach Logic to Computer Scientists (1993)

by Doug Goldson, Steve Reeves
Venue:Notices of the American Mathematical Society