Castel de Haro, María Jesús Matemáticas 1. Apuntes Tema 1: Razonar con “Lógica”, con lógica formal de primer orden URI: http://hdl.handle.net/10045/23253 DOI: ISSN: Abstract: Keywords:Razonamiento, Sistema de la lógica de primer orden learningObject