JEFFREY, RICHARD C. <br/><br/>
LÓGICA FORMAL: SU ALCANCE Y SUS LIMITES 

 - 1A. ed 
 - PAMPLONA    1999 
 - 279  21.5 
<br/><br/>PROPOSICIONES COMPUESTAS<br/>. -- INTRODUCCIÓN<br/>. -- EQUIVALENCIA LÓGICA<br/>. -- FUNCIONES DE VERDAD<br/>. -- ARBOLES DE VERDAD<br/>. -- ADECUACIÓN DEL MÉTODO. ARBOLES Y DEMOSTRACIONES<br/>. -- CUANTIFICACIÓN<br/>. -- REGLAS DE INFERENCIA DE LOS CUANTIFICADORES<br/>. -- CUANTIFICACIÓN MÚLTIPLE. TRADUCCIÓN<br/>. -- ADECUACIÓN DEL MÉTODO DE LOS ARBOLES<br/>. -- IDENTIDAD. FUNCIONES<br/>. -- INDECIBILIDAD. INCOMPLETITUD 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA FORMAL.-SILOGÍSTICA
<br/><br/><label>Dewey Class. No.: </label>160..JEFF.00