Wkład użytkownika Przemo

25 wrz 2006

• 18:2918:29, 25 wrz 2006 różn. hist. +14 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:2818:28, 25 wrz 2006 różn. hist. +105 Logika dla informatyków/Paradygmaty dowodzenia →h
• 18:2118:21, 25 wrz 2006 różn. hist. +2 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 18:1718:17, 25 wrz 2006 różn. hist. +5 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji

24 wrz 2006

• 22:4422:44, 24 wrz 2006 różn. hist. +3 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 22:4322:43, 24 wrz 2006 różn. hist. +2 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 22:4022:40, 24 wrz 2006 różn. hist. +6 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 22:3922:39, 24 wrz 2006 różn. hist. −39 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 22:2322:23, 24 wrz 2006 różn. hist. +1 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 22:1822:18, 24 wrz 2006 różn. hist. +2 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 22:1322:13, 24 wrz 2006 różn. hist. +2 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 22:0422:04, 24 wrz 2006 różn. hist. −29 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 21:5421:54, 24 wrz 2006 różn. hist. 0 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 21:5321:53, 24 wrz 2006 różn. hist. −13 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 21:5121:51, 24 wrz 2006 różn. hist. +13 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 21:4721:47, 24 wrz 2006 różn. hist. +17 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 21:4221:42, 24 wrz 2006 różn. hist. +30 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:3920:39, 24 wrz 2006 różn. hist. −2 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:3820:38, 24 wrz 2006 różn. hist. +4 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:3720:37, 24 wrz 2006 różn. hist. 0 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:3520:35, 24 wrz 2006 różn. hist. +2 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:3220:32, 24 wrz 2006 różn. hist. −1 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:3120:31, 24 wrz 2006 różn. hist. +1 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:3020:30, 24 wrz 2006 różn. hist. −1 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:2920:29, 24 wrz 2006 różn. hist. +2 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:2320:23, 24 wrz 2006 różn. hist. −11 Logika dla informatyków/Paradygmaty dowodzenia →System naturalnej dedukcji
• 20:1620:16, 24 wrz 2006 różn. hist. −12 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 20:1520:15, 24 wrz 2006 różn. hist. +12 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 20:0920:09, 24 wrz 2006 różn. hist. 0 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 20:0620:06, 24 wrz 2006 różn. hist. +4 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 20:0620:06, 24 wrz 2006 różn. hist. −1 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 20:0320:03, 24 wrz 2006 różn. hist. +1 Logika dla informatyków/Paradygmaty dowodzenia →Paradygmaty dowodzenia
• 20:0120:01, 24 wrz 2006 różn. hist. −11 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 19:5219:52, 24 wrz 2006 różn. hist. +28 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 19:5019:50, 24 wrz 2006 różn. hist. +3 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski

22 wrz 2006

• 08:1708:17, 22 wrz 2006 różn. hist. +20 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 08:1508:15, 22 wrz 2006 różn. hist. −5 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 08:1408:14, 22 wrz 2006 różn. hist. +14 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 08:1208:12, 22 wrz 2006 różn. hist. −2 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 08:0908:09, 22 wrz 2006 różn. hist. −51 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 07:5807:58, 22 wrz 2006 różn. hist. −10 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 07:5507:55, 22 wrz 2006 różn. hist. −12 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 07:5207:52, 22 wrz 2006 różn. hist. +3 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 07:5207:52, 22 wrz 2006 różn. hist. −34 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 07:4907:49, 22 wrz 2006 różn. hist. +46 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 07:4307:43, 22 wrz 2006 różn. hist. −21 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 07:4307:43, 22 wrz 2006 różn. hist. +1 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 07:4107:41, 22 wrz 2006 różn. hist. −6 Logika dla informatyków/Paradygmaty dowodzenia →System hilbertowski
• 07:3807:38, 22 wrz 2006 różn. hist. +5 Logika dla informatyków/Paradygmaty dowodzenia Nie podano opisu zmian

21 wrz 2006

• 22:3522:35, 21 wrz 2006 różn. hist. −1 Logika dla informatyków/Paradygmaty dowodzenia →Paradygmaty dowodzenia