11 apr 2007
- 23:5423:54, 11 apr 2007 diff cron −16 Logica matematica/Calcolo delle proposizioni →Completezza
- 23:5023:50, 11 apr 2007 diff cron +60 Logica matematica/Calcolo delle proposizioni →Teoria della dimostrazione
- 23:3323:33, 11 apr 2007 diff cron +2 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
- 23:2723:27, 11 apr 2007 diff cron +391 Logica matematica/Calcolo delle proposizioni →Completezza
- 23:1523:15, 11 apr 2007 diff cron +35 Logica matematica/Calcolo delle proposizioni →Il metodo di Hilbert
- 23:1423:14, 11 apr 2007 diff cron +73 Logica matematica/Calcolo delle proposizioni →Il metodo di Hilbert
- 23:1423:14, 11 apr 2007 diff cron +8 Logica matematica/Calcolo dei predicati Nessun oggetto della modifica
- 22:5922:59, 11 apr 2007 diff cron +145 N Logica matematica/Calcolo dei predicati Nuova pagina: == Calcolo dei predicati == === I Quantificatori === === Teoria della prova === ==== I tableaux semantici ==== ==== Il metodo di risoluzione ====
- 22:5822:58, 11 apr 2007 diff cron +2 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
- 22:5622:56, 11 apr 2007 diff cron +47 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
- 22:5422:54, 11 apr 2007 diff cron +141 N Logica matematica/Teoria dei modelli Nuova pagina: == Teoria dei Modelli == === Linguaggi e Modelli === === Categoricità === === Teoremi di Lowenheim-Skolem === === Il paradosso di Skolem ===
- 22:5322:53, 11 apr 2007 diff cron +54 Logica matematica/Calcolo delle proposizioni Nessun oggetto della modifica
- 22:5222:52, 11 apr 2007 diff cron +202 N Logica matematica/Calcolo delle proposizioni Nuova pagina: == Le Propsozioni == === Formule ben formate === === Tavole di verità === === I tableaux semantici === === Il metodo di Hilbert === === La deduzione naturale === === Compattezza === =...
- 22:5022:50, 11 apr 2007 diff cron +97 Logica matematica Nessun oggetto della modifica
- 22:4922:49, 11 apr 2007 diff cron +35 Logica matematica Nessun oggetto della modifica
- 22:4822:48, 11 apr 2007 diff cron +25 Logica matematica Nessun oggetto della modifica
- 22:4522:45, 11 apr 2007 diff cron +17 Logica matematica →Sommario
- 22:4422:44, 11 apr 2007 diff cron +95 N Logica matematica Nuova pagina: == Sommario == __TOC__ Propoposizioni Predicati Modelli Computabilita' Incompletezza __NOTOC__
- 22:4122:41, 11 apr 2007 diff cron +41 Ripiano:Scienza →Ripiano matematica