Innovatieproject : Uitwerking van generieke intelligente electronische trainingsprogramma's voor het kandidatuursonderwijs in de logica, met grote aandacht voor de natuurlijke taal.