Teaching Logic Using a State-of-the-Art Proof Assistant - Hendriks, Maxim; Kaliszyk, Cezary; van Raamsdonk, Femke; Wiedijk, Freek (Acta Didactica Napocensia, 2010)