Wkład użytkownika Przemo
Z Studia Informatyczne
Wyniki dla użytkownika Przemo dyskusja blokady przesłane pliki rejestry
Użytkownik(-czka) wykonał(a) 721 edycji. Konto utworzone 10 lip 2006.
3 paź 2006
- 09:3509:35, 3 paź 2006 różn. hist. −6 Logika dla informatyków/Paradygmaty dowodzenia →Paradygmaty dowodzenia
- 09:3409:34, 3 paź 2006 różn. hist. −1 Logika dla informatyków/Paradygmaty dowodzenia →Paradygmaty dowodzenia
- 09:3109:31, 3 paź 2006 różn. hist. +35 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Rabina
- 09:2909:29, 3 paź 2006 różn. hist. −5 Logika dla informatyków/Logika drugiego rzędu →k
- 09:2709:27, 3 paź 2006 różn. hist. +2 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Fagina i Stockmeyera
- 09:2609:26, 3 paź 2006 różn. hist. +14 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Fagina i Stockmeyera
- 09:2509:25, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Fagina i Stockmeyera
- 09:2509:25, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Fagina i Stockmeyera
- 09:2409:24, 3 paź 2006 różn. hist. −5 Logika dla informatyków/Logika drugiego rzędu →k
- 09:2309:23, 3 paź 2006 różn. hist. +16 Logika dla informatyków/Logika drugiego rzędu →k
- 09:2209:22, 3 paź 2006 różn. hist. −4 Logika dla informatyków/Logika drugiego rzędu →k
- 09:2109:21, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 09:1909:19, 3 paź 2006 różn. hist. +22 Logika dla informatyków/Logika drugiego rzędu →k
- 09:1709:17, 3 paź 2006 różn. hist. +26 Logika dla informatyków/Logika drugiego rzędu →k
- 09:1509:15, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →k
- 09:1409:14, 3 paź 2006 różn. hist. +1 Logika dla informatyków/Logika drugiego rzędu →k
- 09:1209:12, 3 paź 2006 różn. hist. +5 Logika dla informatyków/Logika drugiego rzędu →k
- 09:0909:09, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →k
- 09:0809:08, 3 paź 2006 różn. hist. +11 Logika dla informatyków/Logika drugiego rzędu →k
- 09:0209:02, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 09:0109:01, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 08:5908:59, 3 paź 2006 różn. hist. +3 Logika dla informatyków/Logika drugiego rzędu →k
- 08:5708:57, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 08:5408:54, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu Nie podano opisu zmian
- 08:5408:54, 3 paź 2006 różn. hist. +1 Logika dla informatyków/Logika drugiego rzędu →k
- 08:5308:53, 3 paź 2006 różn. hist. +3 Logika dla informatyków/Logika drugiego rzędu →k
- 08:5008:50, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 08:1408:14, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →k
- 08:1308:13, 3 paź 2006 różn. hist. −3 Logika dla informatyków/Logika drugiego rzędu →k
- 08:1308:13, 3 paź 2006 różn. hist. +21 Logika dla informatyków/Logika drugiego rzędu →k
- 08:1108:11, 3 paź 2006 różn. hist. +14 Logika dla informatyków/Logika drugiego rzędu →k
- 08:0908:09, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →k
- 08:0708:07, 3 paź 2006 różn. hist. +9 Logika dla informatyków/Logika drugiego rzędu →Równoważność logiki MSO i automatów skończonych
- 08:0708:07, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 08:0508:05, 3 paź 2006 różn. hist. −5 Logika dla informatyków/Logika drugiego rzędu →k
- 08:0408:04, 3 paź 2006 różn. hist. −1 Logika dla informatyków/Logika drugiego rzędu →k
- 08:0208:02, 3 paź 2006 różn. hist. +44 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:5707:57, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:5607:56, 3 paź 2006 różn. hist. +2 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:5607:56, 3 paź 2006 różn. hist. −5 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:5607:56, 3 paź 2006 różn. hist. +1 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:5507:55, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:5407:54, 3 paź 2006 różn. hist. −3 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:5207:52, 3 paź 2006 różn. hist. −9 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:5107:51, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:5107:51, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:5007:50, 3 paź 2006 różn. hist. −12 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:4807:48, 3 paź 2006 różn. hist. +26 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:4607:46, 3 paź 2006 różn. hist. +12 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:4407:44, 3 paź 2006 różn. hist. −2 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
