Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic.

Published in: ZUM (1995)

Keyphrases

e learning
learning environment
modal logic
logic programming
learning analytics
learning design
educational technology
online learning
knowledge base
learning objects
theorem prover
theorem proving
horn clauses
classical logic