Pages created

This tool lists pages created by a user.

Showing non-redirects (13 remaining) created by Gregorio Piccoli

• 13:37, 11 nov 2007 (diff | cron) . . (+157) . . Logica matematica/Calcolo delle proposizioni/I tableaux semantici (Nuova pagina: === I tableaux semantici === [http://en.wikipedia.org/wiki/Method_of_analytic_tableaux] Una pagina interattiva sui tableaux [http://www.umsu.de/logik/trees/])
• 13:37, 11 nov 2007 (diff | cron) . . (+591) . . Logica matematica/Calcolo delle proposizioni/La deduzione naturale (Nuova pagina: === La deduzione naturale === Gerhard Gentzen ha notato che il sistema assiomatico di Hilbert è molto lontano da modo di ragionare che applicano i matematici nella loro attività quo...)
• 13:32, 11 nov 2007 (diff | cron) . . (+3,963) . . Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert (Nuova pagina: === Il metodo di Frege-Hilbert === Il primo sistema di dimostrazione che analizziamo è stato proposto in modo formale da Hilbert, ma era già in uso dall' opera di Frege, per cui lo ...)
• 15:58, 09 ott 2005 (diff | cron) . . (+66) . . Giochi con carta e penna/Bridg-it ()
• 13:57, 09 ott 2005 (diff | cron) . . (+26) . . Giochi con carta e penna/Trax ()
• 14:46, 08 ott 2005 (diff | cron) . . (+434) . . Giochi con carta e penna/Colora la mappa ()
• 14:39, 08 ott 2005 (diff | cron) . . (+426) . . Giochi con carta e penna/Triangoli ()
• 11:25, 08 ott 2005 (diff | cron) . . (+654) . . Giochi con carta e penna/Golf ()
• 10:51, 08 ott 2005 (diff | cron) . . (+582) . . Giochi con carta e penna/Connetti ()
• 10:40, 08 ott 2005 (diff | cron) . . (+37) . . Giochi con carta e penna/Twixt ()
• 17:40, 07 ott 2005 (diff | cron) . . (+113) . . Giochi con carta e penna/Sprout ()
• 17:00, 07 ott 2005 (diff | cron) . . (+390) . . Giochi con carta e penna/Punti e linee ()
• 17:13, 04 ott 2005 (diff | cron) . . (+119) . . Giochi con carta e penna/Hex/Da stampare ()

© 2016 User:Σ