![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Apostila - Deducao Natural.pdf | 2009-04-05 09:33 | 68K | |
| Apostila - Logica Predicados.pdf | 2008-10-13 15:21 | 210K | |
| Apostila - Logica Proposicional.pdf | 2008-08-12 21:37 | 159K | |
| Apostila - Normalizacao de Provas na Deducao Natural.pdf | 2011-05-03 19:02 | 107K | |
| Apostila_joao_victor.pdf | 2017-09-06 10:52 | 1.6M | |
| Logica e Estrutura - Van Dalen.rar | 2009-12-05 10:43 | 877K | |
| Logic and Structure - Van Dalen.pdf | 2008-07-31 16:44 | 2.3M | |
| Normalização de Provas na Dedução Natural.pdf | 2011-10-31 10:00 | 106K | |
| Uma Teoria de Modelos mais Curta - Wilfrid Hodges.pdf | 2008-07-10 19:25 | 549K | |