DMCA

Teaching logic using a state-of-the-art

by Cezary Kaliszyk , Freek Wiedijk , Maxim Hendriks , Femke Raamsdonk