Mates, Benson.  <br/><br/>
Lógica matemática elemental /   
Benson Mates. 
 - Madrid :   Tecnos,   1979. 
 - 287 p. ;   22 cm. 
<br/><br/> Introducción.- Nuevos preliminares. - El lenguaje formalizado. - Interpretaciones y validez universal. - Traducción del lenguaje natural al lenguaje formal. -Enunciados tautológicos. - Reglas de inferencia para lenguaje formal.  - Algunos metateoremas. - Identidad y términos. - Axiomas. Teorías formalizadas. Breve esbozo de la historia de la lógica. 
<br/><br/><label>ISBN: </label>843090509x 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LOGICA MATEMATICA
<br/><br/><label>Universal Decimal Class. No.: </label>164