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:
Detalles Bibliográficos
Autor principal: Suppes, Patrick
Otros Autores: Hill, Shirley
Formato: Libro
Lenguaje:Español
Publicado: Barcelona : Reverté, 1975.
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí

Ejemplares similares