Lógica matemática: uma introdução ao cálculo proposicional
| Autor: | |
|---|---|
| Formato: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 1991 |
| País: | Brasil |
| Recursos: | 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 |
| Acesso em linha: | http://repositorio.utfpr.edu.br/jspui/handle/1/419 |
| Access Level: | acceso abierto |
| Palavra-chave: | 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 |
| Descrição não disponível. |