Lógica matemática y computacional : teoría y ejercicios resueltos - Jiménez de Parga, Carlos (Editorial Tébar Flores, 2024)