Um método dos tablôs por prova direta para a lógica clássica
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. === Made available in DSpace on 2012-10-21T23:14:47Z (GMT). No. of bitstreams: 1 207778.pdf: 429850 bytes, checksum: 5a8ef0bdb25a1cedbc0312a1d037e76b (MD5) === Est...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Florianópolis, SC
2012
|
| Subjects: | |
| Online Access: | http://repositorio.ufsc.br/xmlui/handle/123456789/87630 |