Buscas alternativas:
predicate » predicates (Expandir a busca), predict (Expandir a busca), predicao (Expandir a busca)
"Predicate calculus" » "Predicate calcular" (Expandir a busca)
predicate » predicates (Expandir a busca), predict (Expandir a busca), predicao (Expandir a busca)
"Predicate calculus" » "Predicate calcular" (Expandir a busca)
1
Assuntos:
“...Predicate calculus...”
Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos
Dissertação
2
Assuntos:
“...Predicate calculus...”
Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
Tese