Wkład użytkownika
From Zakład Logiki Stosowanej
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).
- 14:17, 30 lis 2009 (hist) (różn) Grafika:Johnlucas.pdf (Lucas.) (jako ostatnia)
- 14:16, 30 lis 2009 (hist) (różn) Grafika:Jechgit.pdf (Jech. git.) (jako ostatnia)
- 14:16, 30 lis 2009 (hist) (różn) Grafika:Japaridzedejongh.pdf (Japaridze, de Jongh.) (jako ostatnia)
- 14:15, 30 lis 2009 (hist) (różn) Grafika:Henrykkotlarski.pdf (Kotlarski.) (jako ostatnia)
- 14:15, 30 lis 2009 (hist) (różn) Grafika:Gutowskikolmogorow.pdf (Gutowski.) (jako ostatnia)
- 14:14, 30 lis 2009 (hist) (różn) Grafika:Gurevichdecision.pdf (Gurevich. Decision.) (jako ostatnia)
- 14:14, 30 lis 2009 (hist) (różn) Grafika:Friedmangodel.pdf (Friedman. Godel.) (jako ostatnia)
- 14:13, 30 lis 2009 (hist) (różn) Grafika:Friedman40.pdf (Friedman. 40.) (jako ostatnia)
- 14:13, 30 lis 2009 (hist) (różn) Grafika:Fm49118mostowski.pdf (Mostowski. fm.) (jako ostatnia)
- 14:12, 30 lis 2009 (hist) (różn) Grafika:Fm4915feferman.pdf (Feferman. fm.) (jako ostatnia)
- 14:11, 30 lis 2009 (hist) (różn) Grafika:Fefermanimpact.pdf (Feferman. impact.) (jako ostatnia)
- 14:11, 30 lis 2009 (hist) (różn) Grafika:Fefermangit.pdf (Feferman. git.) (jako ostatnia)
- 14:10, 30 lis 2009 (hist) (różn) Grafika:Errolmartingrt.pdf (Errol Martin.) (jako ostatnia)
- 14:10, 30 lis 2009 (hist) (różn) Grafika:Dickdejonghgit.pdf (Dick de Jongh. git.) (jako ostatnia)
- 14:09, 30 lis 2009 (hist) (różn) Grafika:Debowski.pdf (Dębowski.) (jako ostatnia)
- 14:09, 30 lis 2009 (hist) (różn) Grafika:Compcompcol.pdf (ccc.) (jako ostatnia)
- 14:08, 30 lis 2009 (hist) (różn) Grafika:Chaitinramiramzes.pdf (Chaitin. rr.) (jako ostatnia)
- 14:08, 30 lis 2009 (hist) (różn) Grafika:Chaitincompcomp.pdf (Chaitin. cc.) (jako ostatnia)
- 14:07, 30 lis 2009 (hist) (różn) Grafika:Busschapter2.pdf (Buss. 2.) (jako ostatnia)
- 14:07, 30 lis 2009 (hist) (różn) Grafika:Boolosmind103.pdf (Boolos.) (jako ostatnia)
- 14:07, 30 lis 2009 (hist) (różn) Grafika:Avigadtradition.pdf (Avigad. Tradition.) (jako ostatnia)
- 14:06, 30 lis 2009 (hist) (różn) Grafika:Avigadhalting.pdf (Avigad. Halting.) (jako ostatnia)
- 14:06, 30 lis 2009 (hist) (różn) Grafika:Arithmetizationfeferman.pdf (Feferman. Arithmetization.) (jako ostatnia)
- 14:05, 30 lis 2009 (hist) (różn) Grafika:Antonsetzer.pdf (Setzer.) (jako ostatnia)
- 14:04, 30 lis 2009 (hist) (różn) Grafika:Alanturing1936.pdf (Turing 1936.) (jako ostatnia)
- 15:45, 29 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 11:19, 26 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 11:18, 26 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Metalogika (Uniwersytet Opolski))
- 21:11, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Funkcje Rekurencyjne (→Funkcje rekurencyjne)
- 21:02, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:45, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:43, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:43, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:42, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Dodatki)
- 20:27, 22 lis 2009 (hist) (różn) Grafika:Kirbyparis.pdf (Laurie Kirby, Jeff Paris: Accessible independence results for Peano arithmetic.) (jako ostatnia)
- 20:26, 22 lis 2009 (hist) (różn) Grafika:Openproblems.pdf (Ted Slaman: Questions in Recursion Theory (1997).) (jako ostatnia)
- 20:25, 22 lis 2009 (hist) (różn) Grafika:Kolodziejczyk.pdf (Piotr Kołodziejczyk: Obliczanie, semantyka i superweniencja.) (jako ostatnia)
- 20:24, 22 lis 2009 (hist) (różn) Grafika:Marciszewski.pdf (Witold Marciszewski: Człowiek - twór Wszechświata i jego współtwórca.) (jako ostatnia)
- 20:23, 22 lis 2009 (hist) (różn) Grafika:Liegerblieberger.pdf (Roland Lieger, Johann Blieberger: The Ackermann-Funkction Effort in Space and Time.) (jako ostatnia)
- 20:21, 22 lis 2009 (hist) (różn) Grafika:Ackermanngottschalk.pdf (Walter Gottschalk: The Ackermann Number Explosion.) (jako ostatnia)
- 20:20, 22 lis 2009 (hist) (różn) Grafika:Ackermanntaylor.pdf (Gregory R. Taylor: Ackermann's Function Is Not Primitive Recursive.) (jako ostatnia)
- 20:19, 22 lis 2009 (hist) (różn) Grafika:Ackermannpilarczyk.pdf (Paweł Pilarczyk: Funkcja Ackermanna.) (jako ostatnia)
- 20:17, 22 lis 2009 (hist) (różn) Grafika:Ackermannzhang.pdf (Qinglei Zhang: Ackermann's Function.) (jako ostatnia)
- 20:16, 22 lis 2009 (hist) (różn) Grafika:Szczuka03.pdf (Marcin Szczuka: Modele Obliczeń. Wykład 3: Maszyny RAM i Funkcje Rekurencyjne.) (jako ostatnia)
- 20:15, 22 lis 2009 (hist) (różn) Grafika:Splawskilambda.pdf (Zdzisław Spławski: Programowanie funkcyjne. Wykład 12. Funkcje rekurencyjne i rachunek lambda.) (jako ostatnia)
- 20:14, 22 lis 2009 (hist) (różn) Grafika:Klunder.pdf (Barbara Klunder: Podstawy Teorii Obliczalności.) (jako ostatnia)
- 20:13, 22 lis 2009 (hist) (różn) Grafika:Grzegorczyk.pdf (Andrzej Grzegorczyk: Some classes of recursive functions.) (jako ostatnia)
- 18:17, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 18:17, 22 lis 2009 (hist) (różn) Jerzy Pogonowski - Metalogika - Uniwersytet Opolski (→Prezentacje)
- 18:16, 22 lis 2009 (hist) (różn) Grafika:Metalogikaopole07.pdf (Metalogika (7). Reprezentowalność w PA. Arytmetyzacja składni.) (jako ostatnia)
(Najnowsze | Najstarsze) Zobacz (nowsze 50) (starsze 50) (20 | 50 | 100 | 250 | 500).