Ideas para un programa de filosofía de la lógica y de la informática - Camacho, Luis,