TY - BOOK AU - Castel de Haro, María TI - Lógica de Primer Orden U1 - 160/C33 PB - Universidad de Alicante ER -