Wkład użytkownika
Z Studia Informatyczne
Dla użytkownika Przemo dyskusja blokady przesłane pliki rejestry
- 09:35, 3 paź 2006 różn. hist. -6 Logika dla informatyków/Paradygmaty dowodzenia →Paradygmaty dowodzenia ostatnia
- 09:34, 3 paź 2006 różn. hist. -1 Logika dla informatyków/Paradygmaty dowodzenia →Paradygmaty dowodzenia
- 09:31, 3 paź 2006 różn. hist. +35 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Rabina
- 09:29, 3 paź 2006 różn. hist. -5 Logika dla informatyków/Logika drugiego rzędu →k
- 09:27, 3 paź 2006 różn. hist. +2 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Fagina i Stockmeyera
- 09:26, 3 paź 2006 różn. hist. +14 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Fagina i Stockmeyera
- 09:25, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Fagina i Stockmeyera
- 09:25, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →Informacja o tw. Fagina i Stockmeyera
- 09:24, 3 paź 2006 różn. hist. -5 Logika dla informatyków/Logika drugiego rzędu →k
- 09:23, 3 paź 2006 różn. hist. +16 Logika dla informatyków/Logika drugiego rzędu →k
- 09:22, 3 paź 2006 różn. hist. -4 Logika dla informatyków/Logika drugiego rzędu →k
- 09:21, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 09:19, 3 paź 2006 różn. hist. +22 Logika dla informatyków/Logika drugiego rzędu →k
- 09:17, 3 paź 2006 różn. hist. +26 Logika dla informatyków/Logika drugiego rzędu →k
- 09:15, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →k
- 09:14, 3 paź 2006 różn. hist. +1 Logika dla informatyków/Logika drugiego rzędu →k
- 09:12, 3 paź 2006 różn. hist. +5 Logika dla informatyków/Logika drugiego rzędu →k
- 09:09, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →k
- 09:08, 3 paź 2006 różn. hist. +11 Logika dla informatyków/Logika drugiego rzędu →k
- 09:02, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 09:01, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 08:59, 3 paź 2006 różn. hist. +3 Logika dla informatyków/Logika drugiego rzędu →k
- 08:57, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 08:54, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu
- 08:54, 3 paź 2006 różn. hist. +1 Logika dla informatyków/Logika drugiego rzędu →k
- 08:53, 3 paź 2006 różn. hist. +3 Logika dla informatyków/Logika drugiego rzędu →k
- 08:50, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →k
- 08:14, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →k
- 08:13, 3 paź 2006 różn. hist. -3 Logika dla informatyków/Logika drugiego rzędu →k
- 08:13, 3 paź 2006 różn. hist. +21 Logika dla informatyków/Logika drugiego rzędu →k
- 08:11, 3 paź 2006 różn. hist. +14 Logika dla informatyków/Logika drugiego rzędu →k
- 08:09, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →k
- 08: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:07, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 08:05, 3 paź 2006 różn. hist. -5 Logika dla informatyków/Logika drugiego rzędu →k
- 08:04, 3 paź 2006 różn. hist. -1 Logika dla informatyków/Logika drugiego rzędu →k
- 08:02, 3 paź 2006 różn. hist. +44 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:57, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:56, 3 paź 2006 różn. hist. +2 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:56, 3 paź 2006 różn. hist. -5 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:56, 3 paź 2006 różn. hist. +1 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:55, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:54, 3 paź 2006 różn. hist. -3 Logika dla informatyków/Logika drugiego rzędu →Nieaksjomatyzowalność logiki drugiego rzędu
- 07:52, 3 paź 2006 różn. hist. -9 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:51, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:51, 3 paź 2006 różn. hist. +7 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:50, 3 paź 2006 różn. hist. -12 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:48, 3 paź 2006 różn. hist. +26 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:46, 3 paź 2006 różn. hist. +12 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
- 07:44, 3 paź 2006 różn. hist. -2 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
