References

  1. Layman E. Allen (1966): WFF 'N PROOF : the game of modern logic. Autotelic Instructional Materials Publishers.
  2. Franz Baader & Tobias Nipkow (1998): Term Rewriting and All That. Cambridge University Press, New York, NY, USA, doi:10.1017/CBO9781139172752.
  3. Hendrik Pieter Barendregt, Wil Dekkers & Richard Statman (2013): Lambda Calculus with Types. Perspectives in logic. Cambridge University Press, doi:10.1017/CBO9781139032636. Available at http://www.cambridge.org/de/academic/subjects/mathematics/logic-categories-and-sets/lambda-calculus-types.
  4. Patrick Blackburn, Hans van Ditmarsch, María Manzano & Fernando Soler-Toscano (2011): Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Lecture Notes in Computer Science 6680. Springer, doi:10.1007/978-3-642-21350-2.
  5. Joachim Breitner (2016): Visual Theorem Proving with the Incredible Proof Machine. In: Jasmin Christian Blanchette & Stephan Merz: Interactive Theorem Proving. Springer International Publishing, Cham, pp. 123–139, doi:10.1007/978-3-319-43144-4_8.
  6. K. Broda, J. Ma, G. Sinnadurai & A. Summers (2006): Friendly e-tutor for Natural Deduction. In: BCS-FACS, Practice and Experience, doi:10.5555/2228206.2228208.
  7. Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky & Wolfgang Windsteiger (2016): Theorema 2.0: Computer-Assisted Natural-Style Mathematics. Journal of Formalized Reasoning 9(1), pp. 149–185, doi:10.6092/issn.1972-5787/4568. Available at https://jfr.unibo.it/article/view/4568.
  8. Nathan C. Carter & Kenneth G. Monks (2014): Using the Proof-Checking Word Processor Lurch to Teach Proof-Writing.
  9. David M. Cerna (2019): Evaluation of the VL Logic (342.208-9) 2018W End of Semester Questionnaire. RISC Report Series.
  10. Dan Christensen (2010): DC Proof. Need: Available at https://www.dcproof.com/.
  11. Thierry Coquand & Gérard Huet. (2019): The Coq Proof Assistant. Available at https://coq.inria.fr/.
  12. Marcello D'Agostino (1999): Tableau Methods for Classical Propositional Logic, pp. 45–123. Springer Netherlands, Dordrecht, doi:10.1007/978-94-017-1754-0_2.
  13. Spoon Developers (2018): QUANTIFIERS! - A Mathematical Logic Game. Available at https://play.google.com/store/apps/details?id=spoon.quantifiers.
  14. Gilles Dowek (2001). In: Alan Robinson & Andrei Voronkov: Handbook of Automated Reasoning, chapter Higher-order Unification and Matching. Elsevier Science Publishers B. V., Amsterdam, The Netherlands, The Netherlands, pp. 1009–1062, doi:10.1016/B978-044450813-3/50018-7. Available at http://dl.acm.org/citation.cfm?id=778522.778525.
  15. V. D'Silva, D. Kroening & G. Weissenbacher (2008): A Survey of Automated Techniques for Formal Software Verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27(7), pp. 1165–1178, doi:10.1109/TCAD.2008.923410.
  16. Arno Ehle, Norbert Hundeshagen & Martin Lange (2017): The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 19–37, doi:10.4204/EPTCS.267.2.
  17. Olivier Gasquet, François Schwarzentruber & Martin Strecker (2011): Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. In: Patrick Blackburn, Hans van Ditmarsch, María Manzano & Fernando Soler-Toscano: Tools for Teaching Logic. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 85–92, doi:10.1093/jigpal/jzm026.
  18. Jean-Yves Girard, Paul Taylor & Yves Lafont (1989): Proofs and Types. Cambridge University Press, New York, NY, USA.
  19. Jukka Häkkinen (2018): Natural Deduction. Proof generator. Proof checker.. Available at http://naturaldeduction.org/.
  20. Stefan Haustein (2017): Emojic. Available at https://play.google.com/store/apps/details?id=org.flowgrid.emojic. Repository location: https://github.com/stefanhaustein/EmojiC.
  21. Antonia Huertas (2011): Ten Years of Computer-based Tutors for Teaching Logic 2000-2010: Lessons Learned. In: Proceedings of the Third International Congress Conference on Tools for Teaching Logic, TICTTL'11. Springer-Verlag, Berlin, Heidelberg, pp. 131–140, doi:10.1093/jigpal/jzm019. Available at http://dl.acm.org/citation.cfm?id=2021573.2021589.
  22. Matthias Jenny (2018): Andor: Learn Logic. Available at https://play.google.com/store/apps/details?id=io.cordova.andor.
  23. Maria Knobelsdorf, Christiane Frede, Sebastian Böhne & Christoph Kreitz (2017): Theorem Provers as a Learning Tool in Theory of Computation. In: Proceedings of the 2017 ACM Conference on International Computing Education Research, ICER 2017, Tacoma, WA, USA, August 18-20, 2017, pp. 83–92, doi:10.1145/3105726.3106184.
  24. Graham Leach-Krouse (2017): Carnap: An Open Framework for Formal Reasoning in the Browser. In: Quaresma & Neuper, pp. 70–88, doi:10.4204/EPTCS.267.5. Available at http://arxiv.org/abs/1803.00722.
  25. Alexander Leitsch (1997): The Resolution Calculus. Springer-Verlag, Berlin, Heidelberg, doi:10.1007/978-3-642-60605-2.
  26. J. A. Makowsky & A. Zamansky (2017): Keeping Logic in the Trivium of Computer Science: A Teaching Perspective. Form. Methods Syst. Des. 51(2), pp. 419–430, doi:10.1007/s10703-017-0301-z.
  27. Majed Marji (2014): Learn to Program with Scratch: A Visual Introduction to Programming with Games, Art, Science, and Math. No Starch Press.
  28. J.D. Monk (1976): Mathematical Logic. Graduate Texts in Mathematics, 37, doi:10.1007/978-1-4684-9452-5.
  29. Leonardo de Moura & Nikolaj Bjørner (2008): Z3: An Efficient SMT Solver. In: C. R. Ramakrishnan & Jakob Rehof: Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 337–340, doi:10.1109/MS.2006.117.
  30. Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel (2002): Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Lecture Notes in Computer Science 2283. Springer, doi:10.1007/3-540-45949-9.
  31. Pedro Quaresma & Walther Neuper (2018): Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. EPTCS 267. Available at http://arxiv.org/abs/1803.00722.
  32. Anders Schlichtkrull, Jørgen Villadsen & Andreas Halkjær From (2019): Students' Proof Assistant (SPA). In: Pedro Quaresma & Walther Neuper: Proceedings 7th International Workshop on Theorem proving components for Educational software, Oxford, United Kingdom, 18 july 2018, Electronic Proceedings in Theoretical Computer Science 290. Open Publishing Association, pp. 1–13, doi:10.4204/EPTCS.290.1.
  33. Wolfgang Schreiner (2011): Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. In: Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011., pp. 124–142, doi:10.4204/EPTCS.79.8.
  34. Wolfgang Schreiner (2018): Theorem and Algorithm Checking for Courses on Logic and Formal Methods. In: Proceedings 7th International Workshop on Theorem proving components for Educational software, THedu@FLoC 2018, Oxford, United Kingdom, 18 july 2018., pp. 56–75, doi:10.4204/EPTCS.290.5.
  35. Terry Tao (2012): Lewis Carroll. Available at https://scratch.mit.edu/projects/2486639/.
  36. Terry Tao (2018): QED. Available at https://teorth.github.io/QED/.
  37. Laurent Théry: Peanoware-Natural Deduction. Google Play.
  38. Jørgen Villadsen, Andreas Halkjær From & Anders Schlichtkrull (2019): Natural Deduction Assistant (NaDeA). In: Pedro Quaresma & Walther Neuper: Proceedings 7th International Workshop on Theorem proving components for Educational software, Oxford, United Kingdom, 18 july 2018, Electronic Proceedings in Theoretical Computer Science 290. Open Publishing Association, pp. 14–29, doi:10.4204/EPTCS.290.2.
  39. Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park & Flavio Lerda (2003): Model Checking Programs. Automated Software Engineering 10(2), pp. 203–232, doi:10.1023/A:1022920129859.
  40. Yale Weiss (2016): LOGIC++. Available at https://yaleweiss.commons.gc.cuny.edu/logic/.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org