Hilbert calculi for the main fragments of Classical Logic
| Autores | Greati, Vitor Rodrigues | |
|---|---|---|
| Orientador | Marcos, João | |
| Editor | Universidade Federal do Rio Grande do Norte | |
| Data | 2019-11-22 | |
| Palavras-chave | Fragments of Classical Logic Hilbert calculi Post’s lattice Universal Algebra reticulado de Post cálculos de Hilbert | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/handle/123456789/34164 | |
| Coleções | CCET - TCC - Ciência da Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- HilbertCalculiMain_Greati_2019.pdf
- Tamanho:
- 1.15 MB
- Formato:
- Adobe Portable Document Format
- Descrição:
- Monograph file.
Nenhuma Miniatura disponível
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 762 B
- Formato:
- Plain Text
Nenhuma Miniatura disponível