18 ott 2022
- 19:4819:48, 18 ott 2022 diff cron −18 Doppia negazione →Dimostrazioni
- 19:4719:47, 18 ott 2022 diff cron −1 Doppia negazione →=Nei sistemi di calcolo proposizionale classico
12 ago 2012
- 21:3221:32, 12 ago 2012 diff cron +88 Monaco di Baviera Nessun oggetto della modifica
- 21:2421:24, 12 ago 2012 diff cron +87 Baviera Nessun oggetto della modifica