Software Tools in Logic Education: Some Examples. - Belén Pérez Lancho; Elena Jorge; Ana de la Viuda; Raquel Sanchez (Log. J. IGPL, 2007)