1. Blackburn P. van Ditmarsch H. Manzano M. and
Soler-Toscano F. editors (
2011
).
Tools for Teaching Logic - Third International Congress TICTTL
2011 Salamanca Spain June 1-4 2011. Proceedings volume
6680
of
Lecture Notes in Computer Science
.
Springer
. Blackburn P. van Ditmarsch H. Manzano M. and Soler-Toscano F. editors (2011). Tools for Teaching Logic - Third International Congress TICTTL 2011 Salamanca Spain June 1-4 2011. Proceedings volume 6680 of Lecture Notes in Computer Science. Springer.
2. Ehle A. Hundeshagen N. and Lange M. (2015). The sequent calculus trainer - helping students to correctly construct proofs. CoRR abs/1507.03666. Ehle A. Hundeshagen N. and Lange M. (2015). The sequent calculus trainer - helping students to correctly construct proofs. CoRR abs/1507.03666.
3. Fricke M. (2012). Software and tutorials for instruction in symbolic logic. http: //softoption.us. Accessed: 2017-12-28. Fricke M. (2012). Software and tutorials for instruction in symbolic logic. http: //softoption.us. Accessed: 2017-12-28.
4. Gasquet O. Schwarzentruber F. and Strecker M. (2011). Panda: A proof assistant in natural deduction for all. A gentzen style proof assistant for undergraduate students. In { 1 } pages 85–92. Gasquet O. Schwarzentruber F. and Strecker M. (2011). Panda: A proof assistant in natural deduction for all. A gentzen style proof assistant for undergraduate students. In { 1 } pages 85–92.
5. Huertas A. (2011). Ten years of computer-based tutors for teaching logic 2000-2010: Lessons learned. In { 1 } pages 131–140. Huertas A. (2011). Ten years of computer-based tutors for teaching logic 2000-2010: Lessons learned. In { 1 } pages 131–140.