01279nam a22001457a 4500082002200000100002900022245003300051260004700084300002600131520084300157650001301000942000701013999001501020952009801035 a160 / bQ73L / CG aOrman Quine, Willard Van aLos Métodos de la Lógica aMadrid, España:bEdiciones Ariel;c1969. a362 Paginas:b22 cm.; aFunciones Veritativas.-- Negación, conjunción y disyunción.-- El condicional.-- Agrupación.-- Analisis veritativo- funcional.-- Consistencia y validez.-- Implicación.-- Palabras en símbolos.-- Equivalencias.-- Esquemas normales.-- Dualidad.-- Cuantificación uniforme.-- Enunciados categóricos.-- Diagramas de Venn.-- Silogismos.-- Limites de estos métodos.-- Cuantificación.-- Teoría general de la cuantificación.-- Generalización de la cuantificación.-- Valides de los esquemas cuantificacionales.-- Leyes de implicación.-- Perspectivas ulteriores.-- Existencias e inferencia singular.-- Términos singulares y términos generales.- - Identidad.-- Descripciones.-- Eliminación de términos singulares.-- Teorías de las clases, matemática y teoría de la mostración.-- Otras teorías de clases. aLógica cBK c2244d2244 00104070a01b01d2016-11-14hANEXOl0o160 / Q73L / CGp11001235r2016-11-14 00:00:00yBK