Lógica matemática: uma introdução ao cálculo proposicional

Detalles Bibliográficos
Autor: Dias, Carlos Magno Corrêa
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:1991
País:Brasil
Institución:Universidade Tecnológica Federal do Paraná (UTFPR)
Repositorio:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
Idioma:portugués
OAI Identifier:oai:repositorio.utfpr.edu.br:1/419
Acceso en línea:http://repositorio.utfpr.edu.br/jspui/handle/1/419
Access Level:acceso abierto
Palabra clave:Matemática - Filosofia
Lógica simbólica e matemática
Cálculo proposicional
Cálculo dos predicados
Mathematics – Philosophy
Logic, Symbolic and mathematical
Propositional calculus
Predicate calculus
Descripción
Descripción no disponible.