%0 Conference Paper %1 journals/corr/abs-2202-03567 %A Villadsen, Jørgen %A From, Asta Halkjær %A Blackburn, Patrick %B ThEdu@CADE %D 2021 %E Marcos, João %E Neuper, Walther %E Quaresma, Pedro %K dblp %P 71-85 %T Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs354.html#abs-2202-03567 %V 354

@inproceedings{journals/corr/abs-2202-03567, added-at = {2023-06-26T00:00:00.000+0200}, author = {Villadsen, Jørgen and From, Asta Halkjær and Blackburn, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/24f9f40060c19624274a618cabb6ba79b/dblp}, booktitle = {ThEdu@CADE}, crossref = {journals/corr/abs-2202-02144}, editor = {Marcos, João and Neuper, Walther and Quaresma, Pedro}, ee = {https://arxiv.org/abs/2202.03567}, interhash = {53d7a1f6e15928ebbc9a3a7e040948bf}, intrahash = {4f9f40060c19624274a618cabb6ba79b}, keywords = {dblp}, pages = {71-85}, series = {EPTCS}, timestamp = {2024-04-09T09:30:41.000+0200}, title = {Teaching Intuitionistic and Classical Propositional Logic Using Isabelle.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs354.html#abs-2202-03567}, volume = 354, year = 2021 }