Buscas alternativas:
"Logica de primeira ordem" » "Logica de primeiro ordem" (Expandir a busca), "Logica de primeira order" (Expandir a busca)
"Logica de primeira ordem" » "Logica de primeiro ordem" (Expandir a busca), "Logica de primeira order" (Expandir a busca)
1
2
Assuntos:
“...Lógica De Primeira Ordem...”
Multiplicadores algébricos de validade lógica
Dissertação
3
Assuntos:
“...Lógica de primeira ordem...”
Técnicas Nominais e aplicações em Lógica de primeira ordem
Dissertação
4
Assuntos:
“...Logica de primeira ordem...”
Logicas da inconsistencia formal quantificadas
Dissertação
5
6
Assuntos:
“...Logica de primeira ordem...”
Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
Tese
7
Assuntos:
“...Logica de primeira ordem...”
Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
Tese
8
Assuntos:
“...Logica de primeira ordem...”
Lógicas abstratas e o primeiro teorema de Lindström
Dissertação
9
10
11
Assuntos:
“...Lógica de primeira ordem...”
Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
Tese
12
Assuntos:
“...[pt] LOGICA DE PRIMEIRA ORDEM...”
[en] TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC
Tese
13
Assuntos:
“...Lógica de Primeira Ordem...”
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine.
Dissertação