Teaching Intuitionistic and Classical Propositional Logic Using Isabelle

Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn

Research output: Contribution to journal › Journal article › Research › peer-review

27 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Teaching Intuitionistic and Classical Propositional Logic Using Isabelle'. Together they form a unique fingerprint.

Computer Science