1
2
Assuntos:
“...First-order logic...”
Parameterized complexity investigations on the first-order satisfiability and matching problems
Tese
3
4
5
6
7
8
9
Assuntos:
“...[en] HIGHER ORDER LOGIC...”
[pt] ALFRED TARSKI: CONSEQÜÊNCIA LÓGICA, NOÇÕES LÓGICAS E FORMAS LÓGICAS
Tese
10
Assuntos:
“...First order logic...”
Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
Tese
11
12
Assuntos:
“...First Order Logic...”
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine.
Dissertação