Abstract is missing.
- E-learning and Semantic Technologies: Tools and ConceptsEnrique Alonso. 9-23 [doi]
- Araucaria-PL: Software for Teaching Argumentation TheoryKatarzyna Budzynska. 30-37 [doi]
- ORGANON: Learning Management System for Basic Logic CoursesLudmila Dostálová, Jaroslav Lang. 46-53 [doi]
- Variables in Mathematics EducationSusanna S. Epp. 54-61 [doi]
- Logic Training through Algorithmic Problem SolvingJoão F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo Silva, Luís Soares Barbosa, J. N. Oliveira. 62-69 [doi]
- Concrete Epistemic Modal Logic: FlatlandOlivier Gasquet, François Schwarzentruber. 70-76 [doi]
- Satoulouse: The Computational Power of Propositional Logic Shown to BeginnersOlivier Gasquet, François Schwarzentruber, Martin Strecker. 77-84 [doi]
- Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate StudentsOlivier Gasquet, François Schwarzentruber, Martin Strecker. 85-92 [doi]
- The Question of the Question in Critical Thinking?Roderic A. Girle. 93-100 [doi]
- Adding a Dimension to Logic DiagrammingLaurence Goldstein. 101-108 [doi]
- The Many Rewards of Putting Absolutely Everything into Introductory LogicJames M. Henle. 109-122 [doi]
- The SELL Project: A Learning Tool for E-Learning LogicAntonia Huertas, Josep M. Humet, Laura López, Enric Mor. 123-130 [doi]
- Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons LearnedAntonia Huertas. 131-140 [doi]
- Logic in Action - An Open Logic Courseware ProjectJan Jaspars, Fernando R. Velázquez-Quesada. 141-153 [doi]
- A Teaching Tool for Proving Equivalences between Logical FormulaeJosje Lodder, Bastiaan Heeren. 154-161 [doi]
- Information-Theoretic Perspective for Teaching LogicÁngel Nepomuceno-Fernández. 170-177 [doi]
- Teaching Sound Principles about InvalidityCarlos A. Oller. 178-182 [doi]
- Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and TestingRein Prank, Mart Anton. 198-206 [doi]
- Using an Argument Ontology to Develop Pedagogical Tool SuitesChris Reed, Simon Wells, Mark Snaith, Katarzyna Budzynska, John Lawrence. 207-214 [doi]
- Visual Tools for Teaching Propositional LogicAránzazu San Ginés. 215-222 [doi]
- Logicamente: A Virtual Learning Environment for Logic Based on Learning ObjectsPatrick Terrematte, Fabrício Costa, João Marcos. 223-230 [doi]
- A Framework for Coping with Logically-Minded Arguments in PhilosophyLuis Adrian Urtubey. 231-238 [doi]
- A Logic Teaching Tool Based on Tableaux for Verification and Debugging of AlgorithmsRafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero. 239-248 [doi]
- Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning EnvironmentFrank Zenker, Christian Gottschall, Albert Newen, Raphael van Riel, Gottfried Vosgerau. 249-255 [doi]