Formal Logic as a Learning Facilitation Tool

Alexei Tretiakov, Nian-Shing Chen, Kinshuk, Sven Hartmann

Browse the full ICALT paper archive.