Wkład użytkownika Przemo

25 wrz 2006

• 21:5021:50, 25 wrz 2006 różn. hist. −6 Logika dla informatyków/Paradygmaty dowodzenia →h
• 21:4921:49, 25 wrz 2006 różn. hist. +22 Logika dla informatyków/Paradygmaty dowodzenia →h
• 21:4121:41, 25 wrz 2006 różn. hist. −11 Logika dla informatyków/Paradygmaty dowodzenia →h
• 21:4021:40, 25 wrz 2006 różn. hist. +10 Logika dla informatyków/Paradygmaty dowodzenia →h
• 21:3621:36, 25 wrz 2006 różn. hist. +37 Logika dla informatyków/Paradygmaty dowodzenia →h
• 21:3621:36, 25 wrz 2006 różn. hist. +22 Logika dla informatyków/Ćwiczenia 5 Nie podano opisu zmian
• 20:5020:50, 25 wrz 2006 różn. hist. 0 Logika dla informatyków/Paradygmaty dowodzenia →h
• 20:4920:49, 25 wrz 2006 różn. hist. +5 Logika dla informatyków/Paradygmaty dowodzenia →h
• 20:4920:49, 25 wrz 2006 różn. hist. +4 Logika dla informatyków/Paradygmaty dowodzenia →h
• 20:4720:47, 25 wrz 2006 różn. hist. −17 Logika dla informatyków/Paradygmaty dowodzenia →h
• 20:4220:42, 25 wrz 2006 różn. hist. +1 Logika dla informatyków/Paradygmaty dowodzenia →Rachunek sekwentów
• 20:4020:40, 25 wrz 2006 różn. hist. +1 Logika dla informatyków/Paradygmaty dowodzenia →h
• 20:3620:36, 25 wrz 2006 różn. hist. −7 Logika dla informatyków/Paradygmaty dowodzenia →h
• 20:3320:33, 25 wrz 2006 różn. hist. −2 Logika dla informatyków/Paradygmaty dowodzenia →Rachunek sekwentów
• 20:3320:33, 25 wrz 2006 różn. hist. −34 Logika dla informatyków/Paradygmaty dowodzenia →Rachunek sekwentów
• 20:3220:32, 25 wrz 2006 różn. hist. +2 Logika dla informatyków/Paradygmaty dowodzenia →Rachunek sekwentów
• 20:3120:31, 25 wrz 2006 różn. hist. −1 Logika dla informatyków/Paradygmaty dowodzenia →Rachunek sekwentów
• 20:3020:30, 25 wrz 2006 różn. hist. +10 Logika dla informatyków/Paradygmaty dowodzenia →Rachunek sekwentów
• 20:2420:24, 25 wrz 2006 różn. hist. −6 Logika dla informatyków/Paradygmaty dowodzenia →h
• 20:2320:23, 25 wrz 2006 różn. hist. +16 Logika dla informatyków/Paradygmaty dowodzenia →h
• 20:2220:22, 25 wrz 2006 różn. hist. 0 Logika dla informatyków/Paradygmaty dowodzenia Nie podano opisu zmian
• 20:1920:19, 25 wrz 2006 różn. hist. +6 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:1820:18, 25 wrz 2006 różn. hist. +14 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:0920:09, 25 wrz 2006 różn. hist. +1 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:0820:08, 25 wrz 2006 różn. hist. +1 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:0720:07, 25 wrz 2006 różn. hist. 0 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 19:5719:57, 25 wrz 2006 różn. hist. −6 Logika dla informatyków/Paradygmaty dowodzenia →h
• 19:5719:57, 25 wrz 2006 różn. hist. −25 Logika dla informatyków/Paradygmaty dowodzenia →h
• 19:5319:53, 25 wrz 2006 różn. hist. +48 Logika dla informatyków/Paradygmaty dowodzenia →h
• 19:5019:50, 25 wrz 2006 różn. hist. −1 Logika dla informatyków/Paradygmaty dowodzenia →h
• 19:5019:50, 25 wrz 2006 różn. hist. +1 Logika dla informatyków/Paradygmaty dowodzenia →h
• 19:4919:49, 25 wrz 2006 różn. hist. −40 Logika dla informatyków/Paradygmaty dowodzenia →h
• 19:4619:46, 25 wrz 2006 różn. hist. +44 Logika dla informatyków/Paradygmaty dowodzenia →h
• 19:4419:44, 25 wrz 2006 różn. hist. +54 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:5818:58, 25 wrz 2006 różn. hist. −252 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:5618:56, 25 wrz 2006 różn. hist. +90 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:5318:53, 25 wrz 2006 różn. hist. 0 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:5318:53, 25 wrz 2006 różn. hist. −1 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:5318:53, 25 wrz 2006 różn. hist. +44 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:5118:51, 25 wrz 2006 różn. hist. +2 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:5018:50, 25 wrz 2006 różn. hist. +68 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:4718:47, 25 wrz 2006 różn. hist. +39 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:4518:45, 25 wrz 2006 różn. hist. +13 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:4518:45, 25 wrz 2006 różn. hist. +84 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:4118:41, 25 wrz 2006 różn. hist. +2 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 18:3818:38, 25 wrz 2006 różn. hist. −1 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:3618:36, 25 wrz 2006 różn. hist. −146 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:3318:33, 25 wrz 2006 różn. hist. +13 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:3318:33, 25 wrz 2006 różn. hist. +33 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:3218:32, 25 wrz 2006 różn. hist. +97 Logika dla informatyków/Paradygmaty dowodzenia →h