UNNE

Catálogo Bibliográfico
Red de Bibliotecas UNNE

Red de Bibliotecas
164 COP l ej.1

Copi, Irving Marmer
  Lógica simbólica [LIB]. -- 1a ed. -- México : Compañía Editorial Continental (CECSA), 1986
  ISBN: 9682601347

  1. LENGUAJES VARIOS; 2. ENUNCIADOS; 3. DEDUCCION; 4. FUNCION PROPOSICIONAL; 5. CUANTIFICADORES; 6. VERDAD; 7. VALIDEZ; 8. SISTEMAS DEDUCTIVOS; 9. GEOMETRIA EUCLIDIANA; 10. CALCULO PROPORCIONAL; 11. LENGUA; 12. METALENGUAJE; 13. AXIOMAS; 14. NOTACIONES ALTERNATIVAS; 15. SISTEMA DE HILBERT ACKERMANN; 16. SISTEMA DE NICOD; 17. CALCULO FUNCIONAL; 18. SISTEMA LOGISTICO RS; 19. EXPANSIONES BOOLEANAS; 20. ALGEBRA DE CLASES; 21. TEORIA DE LOS TIPOS; 22. REGLAS DE INFERENCIA I. Sestier Bouclier, Andrés

  (42) Inv.: 12-000691 S.T.: 164 COP l ej.1
1 Ejemplar
U. Info. Inventario S.T. / Ubicación
12-000691 164 COP l ej.1

Dirección: Av. Las Heras 727
Campus UNNE Resistencia, Chaco. CP 3500.
E-Mail: contacto@bib.unne.edu.ar
Nos encontramos dando servicios
únicamente en forma virtual

Pérgamo OPAC Web

Formulario para Solicitud de Material

Copi, Irving Marmer
Lógica simbólica [LIB]. -- 1a ed. -- México : Compañía Editorial Continental (CECSA), 1986
ISBN: 9682601347

1. LENGUAJES VARIOS; 2. ENUNCIADOS; 3. DEDUCCION; 4. FUNCION PROPOSICIONAL; 5. CUANTIFICADORES; 6. VERDAD; 7. VALIDEZ; 8. SISTEMAS DEDUCTIVOS; 9. GEOMETRIA EUCLIDIANA; 10. CALCULO PROPORCIONAL; 11. LENGUA; 12. METALENGUAJE; 13. AXIOMAS; 14. NOTACIONES ALTERNATIVAS; 15. SISTEMA DE HILBERT ACKERMANN; 16. SISTEMA DE NICOD; 17. CALCULO FUNCIONAL; 18. SISTEMA LOGISTICO RS; 19. EXPANSIONES BOOLEANAS; 20. ALGEBRA DE CLASES; 21. TEORIA DE LOS TIPOS; 22. REGLAS DE INFERENCIA I. Sestier Bouclier, Andrés

(42) Inv.: 12-000691 S.T.: 164 COP l ej.1
Solicitante: