Using Programs to Teach Logic to Computer Scientists (1993)

by D Goldson, S Reeves
Venue:Notices of the American Mathematical Society