
... esclarecimento e que ele permite evitar os supostos paradoxos da implicacao material apresentados inicialmente por C. I. Lewis (1918). Sustento ...
Tópico(s): Logic, programming, and type systems
2013 - Editora da Pontifícia Universidade Católica do Rio Grande do Sul (EDIPUCRS) | Intuitio