Material em DVI, PDF e DOC para MAT-359:

  1. Livro de lógica em DVI (268.432 bytes)

  2. Notas de "introdução à lógica (demonstrações)" de modo um pouco informal, em DVI (63.476 bytes) ou em PDF (155.160 bytes).

  3. Notas resumidas de Teoria dos Conjuntos em DVI (para quem se interessar).

  4. Tradução do artigo "Sobre o Infinito" de David Hilbert em DOC (Word), feita pelo Prof. Dr. Walter A. Carnielli, UNICAMP.

  5. A história do desenvolvimento da teoria das funções computáveis e da indecidibilidade até 1970 em DOC por W. A. Carnielli e R. L. Epstein.

  6. Notas de aula sobre incompletude em PDF

  7. Geometria e Desenho Geométrico I (aqui) e II (aqui).