Primer curso de lógica matemática /
Simbolización de proposiciones - Inferencia lógica - Certeza y validez - Tablas de certeza - Términos, predicados y cuantificadores universales - Especificación universal y leyes de identidad - Un sistema matemático simple: axiomas de la adición - Generalización universal.
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | Libro |
Lenguaje: | Español |
Publicado: |
Barcelona :
Reverté,
1975.
|
Materias: | |
Aporte de: | Registro referencial: Solicitar el recurso aquí |