Últimas
21 de Junho de 2006
A apostila (corrigida) possui dois erros: pegue a errata aqui.
30 de maio de 2006
Coloquei algumas folhas de errata no xerox Aquarela. A apostila deste site já está corrigida.
26 de maio de 2006
A apostila da Lógica de Primeira Ordem já está disponível. Imprima apenas até a página 78.