Logic is the glue that binds together methods of reasoning, in all domains.

---David Gries and Fred B. Schneider

Click on any of the following items for more information.

- A text on teaching logic as a tool:
*A Logical Approach to Discrete Math* - Errors corrected in third printing (postscript file)
- Instructor's Manual for
*A Logical Approach to Discrete Math*

- Brief introduction to equational logic
- Inference rules of equational logic
- Axioms of equational logic
- Precedence rules
- Useful proof principles and heuristics
- Grounding informal proof techniques in logic
- A neat solution to a word problem

- A short history of equational logic

- Articles and lectures on teaching logic as a tool
- A Glimmer(ick) of Hope
(Banquet speech at ZUM95, September 1995, in
*Limerick*, Ireland, so be prepared.)

- Trefethen's madness
--thoughts on Gries in limerick form

- Home pages for: Gries and Schneider
- Cornell CS Department Home Page