![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Alberi-induz.pdf | 2006-11-13 19:24 | 75K | |
| Dummett1.pdf | 2007-01-03 13:25 | 64K | |
| Dummett2.pdf | 2007-01-03 13:25 | 145K | |
| FOL.pdf | 2007-01-03 13:25 | 147K | |
| Gamut.pdf | 2007-01-03 13:25 | 154K | |
| Gentzen_infinito.pdf | 2007-05-24 18:35 | 87K | |
| Goedel.pdf | 2007-01-03 13:25 | 130K | |
| Heyting.pdf | 2007-01-03 13:26 | 80K | |
| Linguag_valutaz.pdf | 2007-01-03 13:26 | 56K | |
| Log_intuizionista.pdf | 2007-01-03 13:26 | 165K | |
| Poincare_infinito.pdf | 2007-05-24 18:34 | 89K | |
| Quine.pdf | 2007-01-03 13:26 | 67K | |
| Tarski-world-I.pdf | 2007-01-03 13:26 | 45K | |
| Tarski-world-II.pdf | 2007-01-03 13:26 | 43K | |
| Tautologie_formule_valide.pdf | 2007-01-03 13:26 | 35K | |
| Tavole-semantiche.pdf | 2007-01-03 13:26 | 242K | |
| TavoleBeth.pdf | 2007-01-03 13:26 | 511K | |
| alberi_induz.pdf | 2007-01-03 13:26 | 75K | |
| armenise.pdf | 2004-11-30 14:55 | 60K | |
| assurdo_diadi.pdf | 2007-01-03 13:27 | 107K | |
| derivazioni.pdf | 2007-01-03 13:27 | 98K | |
| diadi.pdf | 2007-05-24 18:35 | 114K | |
| esempi_di_formalizzazione.pdf | 2005-06-29 14:46 | 47K | |
| formaliz.pdf | 2007-01-03 13:27 | 57K | |
| induz_transf.pdf | 2007-01-03 13:27 | 60K | |
| induzione.pdf | 2007-01-03 13:27 | 82K | |
| intuizionista.pdf | 2004-12-07 13:27 | 156K | |
| modelli.pdf | 2007-01-03 13:27 | 85K | |
| nat-dedud.pdf | 2007-01-03 13:27 | 73K | |
| teordeduz.pdf | 2007-01-03 13:27 | 86K | |