David Gries, Fred B. Schneider. Teaching Logic as a Tool. In Jorge L. Díaz-Herrera, editor, Software Engineering Education, 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994, Proceedings. Volume 750 of Lecture Notes in Computer Science, pages 599-599, Springer, 1994.
Abstract is missing.