Equational logic: A great pedagogical tool for teaching a skill in logic

  • David Gries
Education Session
Part of the Lecture Notes in Computer Science book series (LNCS, volume 967)


  1. 1.
    David Gries & Fred B. Schneider. A Logical Approach to Discrete Math. Springer-Verlag, New York, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • David Gries
    • 1
  1. 1.Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations