Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
- Unidad documental simple
Um sistema dedutivo S para o cálculo de predicados com identidade e símbolos funcionais 1
Definição de conjuntos decidíveis de valorações pela fatorização da linguagem 1
Parte deNewton Carneiro Affonso da Costa
Apostila de exercícios Lógica II 1
Parte deLeopoldo Nachbin
Parte deLeopoldo Nachbin
Parte deLeopoldo Nachbin
Parte deMichel Maurice Debrun
Sin título
Lélio Itapuambyra Gama, 1977 1