Seol mar théacs é seo: Lógica y Matemática para ciencias de la computación /