TY - BOOK AU - Mosterín,Jesús TI - Lógica de primer orden SN - 978-84-344-3939-9 U1 - 160 PY - 1976/// CY - Barcelona PB - Ariel KW - FILOLOGÍA KW - GRAMÁTICA KW - LENGUAJE KW - SEMÁNTICA KW - 160 - Lógica N2 - Constituye un manual universitario suscinto y riguroso donde la parte central de la lógica se presenta con una considerable precisión, ofreciéndose al estudiante definiciones exactas y pruebas completas ER -