Wkład użytkownika Przemo

3 paź 2006

• 07:4407:44, 3 paź 2006 różn. hist. +13 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
• 07:1907:19, 3 paź 2006 różn. hist. +19 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
• 07:1607:16, 3 paź 2006 różn. hist. −3 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
• 07:1307:13, 3 paź 2006 różn. hist. 0 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
• 07:1307:13, 3 paź 2006 różn. hist. −2 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
• 07:1307:13, 3 paź 2006 różn. hist. +3 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
• 07:1107:11, 3 paź 2006 różn. hist. +4 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu
• 07:1007:10, 3 paź 2006 różn. hist. +35 Logika dla informatyków/Logika drugiego rzędu →Logika drugiego rzędu

1 paź 2006

• 20:2120:21, 1 paź 2006 różn. hist. 0 Logika dla informatyków/Ćwiczenia 12 Nie podano opisu zmian
• 20:2120:21, 1 paź 2006 różn. hist. +796 N Logika dla informatyków/Ćwiczenia 12 Nie podano opisu zmian
• 20:1520:15, 1 paź 2006 różn. hist. +24 635 N Logika dla informatyków/Logika drugiego rzędu Nie podano opisu zmian
• 19:5319:53, 1 paź 2006 różn. hist. −4 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:5219:52, 1 paź 2006 różn. hist. −47 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:4819:48, 1 paź 2006 różn. hist. +5 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:4819:48, 1 paź 2006 różn. hist. +1 Logika dla informatyków/Ćwiczenia 11 Nie podano opisu zmian
• 19:4719:47, 1 paź 2006 różn. hist. 0 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:4619:46, 1 paź 2006 różn. hist. +6 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:4519:45, 1 paź 2006 różn. hist. +16 Logika dla informatyków/Logika intuicjonistyczna →Lambda-termy z typami
• 19:4219:42, 1 paź 2006 różn. hist. −22 Logika dla informatyków/Logika intuicjonistyczna →Izomorfizm Curry'ego-Howarda (formuły-typy)
• 19:3619:36, 1 paź 2006 różn. hist. 0 Logika dla informatyków/Logika intuicjonistyczna →Normalizacja dowodów
• 19:3619:36, 1 paź 2006 różn. hist. +21 Logika dla informatyków/Logika intuicjonistyczna →Normalizacja dowodów
• 19:3519:35, 1 paź 2006 różn. hist. 0 Logika dla informatyków/Logika intuicjonistyczna →Izomorfizm Curry'ego-Howarda (formuły-typy)
• 19:3519:35, 1 paź 2006 różn. hist. 0 Logika dla informatyków/Logika intuicjonistyczna →Izomorfizm Curry'ego-Howarda (formuły-typy)
• 19:3419:34, 1 paź 2006 różn. hist. +4 Logika dla informatyków/Logika intuicjonistyczna →Izomorfizm Curry'ego-Howarda (formuły-typy)
• 19:3419:34, 1 paź 2006 różn. hist. 0 Logika dla informatyków/Logika intuicjonistyczna →Izomorfizm Curry'ego-Howarda (formuły-typy)
• 19:3419:34, 1 paź 2006 różn. hist. −254 Logika dla informatyków/Logika intuicjonistyczna →Izomorfizm Curry'ego-Howarda (formuły-typy)
• 19:3319:33, 1 paź 2006 różn. hist. 0 N Plik:Dowódstr84.PNG Nie podano opisu zmian ostatnia
• 19:2919:29, 1 paź 2006 różn. hist. +3 Logika dla informatyków/Logika intuicjonistyczna →Izomorfizm Curry'ego-Howarda (formuły-typy)
• 19:2819:28, 1 paź 2006 różn. hist. −5 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:2719:27, 1 paź 2006 różn. hist. +3 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:2619:26, 1 paź 2006 różn. hist. −114 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:2319:23, 1 paź 2006 różn. hist. −1 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:2219:22, 1 paź 2006 różn. hist. +4 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:2119:21, 1 paź 2006 różn. hist. 0 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:2019:20, 1 paź 2006 różn. hist. +1 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:1919:19, 1 paź 2006 różn. hist. +1 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:1819:18, 1 paź 2006 różn. hist. +9 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:1719:17, 1 paź 2006 różn. hist. +13 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:1019:10, 1 paź 2006 różn. hist. −1 Logika dla informatyków/Logika intuicjonistyczna →Lambda-termy z typami
• 19:1019:10, 1 paź 2006 różn. hist. +3 Logika dla informatyków/Logika intuicjonistyczna →Lambda-termy z typami
• 19:0919:09, 1 paź 2006 różn. hist. +7 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:0219:02, 1 paź 2006 różn. hist. −3 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:0119:01, 1 paź 2006 różn. hist. +1 Logika dla informatyków/Logika intuicjonistyczna →k
• 19:0019:00, 1 paź 2006 różn. hist. +3 Logika dla informatyków/Logika intuicjonistyczna →Lambda-termy z typami
• 18:5018:50, 1 paź 2006 różn. hist. −3 Logika dla informatyków/Logika intuicjonistyczna →Lambda-termy z typami
• 18:4518:45, 1 paź 2006 różn. hist. −240 Logika dla informatyków/Logika intuicjonistyczna →Normalizacja dowodów
• 18:4418:44, 1 paź 2006 różn. hist. 0 N Plik:Dowód11.2.PNG Nie podano opisu zmian ostatnia
• 18:3718:37, 1 paź 2006 różn. hist. −5 Logika dla informatyków/Logika intuicjonistyczna →k
• 18:3718:37, 1 paź 2006 różn. hist. +36 Logika dla informatyków/Logika intuicjonistyczna →k
• 18:3318:33, 1 paź 2006 różn. hist. −16 Logika dla informatyków/Logika intuicjonistyczna →k