Intuicionistická logika: Historie verzí

20. 7. 2021

• teďpředchozí 15:3120. 7. 2021, 15:31‎ MIGORMCZ diskuse příspěvky‎ m 1 456 bajtů +2‎ přesunuto do kategorie Epistemologie pomocí Cat-a-lot zrušit editaci

23. 1. 2020

• teďpředchozí 23:1923. 1. 2020, 23:19‎ Kolarp diskuse příspěvky‎ 1 454 bajtů +178‎ +Související články, +Kategorie:Konstruktivismus (matematika), -Kategorie:Logika, +Portály zrušit editaci

20. 8. 2019

• teďpředchozí 10:4820. 8. 2019, 10:48‎ 2a00:1028:96d4:b7ce:b847:e02b:dc2c:56ea diskuse‎ 1 276 bajtů −2‎ oprava překlepu zrušit editaci značka: editace z Vizuálního editoru

22. 7. 2018

• teďpředchozí 10:2122. 7. 2018, 10:21‎ Radegast diskuse příspěvky‎ 1 278 bajtů +74‎ +Heytingova algebra zrušit editaci

4. 10. 2017

• teďpředchozí 09:594. 10. 2017, 09:59‎ JAnDbot diskuse příspěvky‎ m 1 204 bajtů +19‎ Robot: přidáno {{Autoritní data}}; kosmetické úpravy zrušit editaci

8. 12. 2016

• teďpředchozí 09:238. 12. 2016, 09:23‎ 81.91.222.67 diskuse‎ 1 185 bajtů 0‎ Bez shrnutí editace zrušit editaci značka: editace z Vizuálního editoru

15. 1. 2016

• teďpředchozí 19:5715. 1. 2016, 19:57‎ MatSuBot diskuse příspěvky‎ m 1 185 bajtů −8‎ WPCleaner v1.38b - Opraveno pomocí WP:WCW (HTML entity) zrušit editaci

27. 10. 2014

• teďpředchozí 15:0827. 10. 2014, 15:08‎ Roman3349Bot diskuse příspěvky‎ m 1 193 bajtů −8‎ WPCleaner v1.34b - Opraveno pomocí WP:WCW (HTML entity - Popis odkazu před i za jeho koncem) zrušit editaci

8. 3. 2013

• teďpředchozí 00:098. 3. 2013, 00:09‎ Addbot diskuse příspěvky‎ m 1 201 bajtů −378‎ Bot: Odstranění 12 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q176786) zrušit editaci

6. 5. 2012

• teďpředchozí 12:086. 5. 2012, 12:08‎ MerlIwBot diskuse příspěvky‎ m 1 579 bajtů +40‎ Robot: Přidávám de:Intuitionismus, tr:Sezgicilik zrušit editaci

22. 2. 2010

• teďpředchozí 23:1022. 2. 2010, 23:10‎ Porthos diskuse příspěvky‎ m 1 539 bajtů −2‎ Robot změnil Kategorie:Epistemologie zrušit editaci

23. 4. 2009

• teďpředchozí 14:3823. 4. 2009, 14:38‎ Jagro diskuse příspěvky‎ m 1 541 bajtů −3‎ edit: náhrada entit zrušit editaci

18. 4. 2009

• teďpředchozí 15:5618. 4. 2009, 15:56‎ LucienBOT diskuse příspěvky‎ m 1 544 bajtů +29‎ robot přidal: es:Lógica intuicionista zrušit editaci

7. 4. 2009

• teďpředchozí 05:127. 4. 2009, 05:12‎ TchoŘoBot diskuse příspěvky‎ m 1 515 bajtů +14‎ Odstranění linku na rozcestník Konvergence s použitím robota - Změněn(y) odkaz(y) na konvergentní posloupnost zrušit editaci

9. 12. 2008

• teďpředchozí 00:109. 12. 2008, 00:10‎ VolkovBot diskuse příspěvky‎ m 1 501 bajtů +86‎ robot přidal: ru:Интуиционистское исчисление высказываний zrušit editaci

31. 10. 2008

• teďpředchozí 23:3231. 10. 2008, 23:32‎ TXiKiBoT diskuse příspěvky‎ m 1 415 bajtů +29‎ robot přidal: pt:Lógica intuicionista zrušit editaci

19. 10. 2008

• teďpředchozí 07:1719. 10. 2008, 07:17‎ DragonBot diskuse příspěvky‎ m 1 386 bajtů +29‎ robot přidal: sv:Intuitionistisk logik zrušit editaci

28. 8. 2008

• teďpředchozí 16:2528. 8. 2008, 16:25‎ ArthurBot diskuse příspěvky‎ m 1 357 bajtů +26‎ robot přidal: zh:直觉主义逻辑 zrušit editaci

27. 6. 2008

• teďpředchozí 14:2627. 6. 2008, 14:26‎ JAnDbot diskuse příspěvky‎ m 1 331 bajtů −26‎ robot odebral: zh:数学直觉主义 zrušit editaci

26. 2. 2007

• teďpředchozí 00:1626. 2. 2007, 00:16‎ JAnDbot diskuse příspěvky‎ m 1 357 bajtů −127‎ robot přidal: fr odebral: de, eo, es, nl, pt, ru, tr změnil: en, it, ja, pl zrušit editaci

1. 6. 2006

• teďpředchozí 14:461. 6. 2006, 14:46‎ Pavel Kotrč diskuse příspěvky‎ m 1 484 bajtů +25‎ oprava odkazu zrušit editaci

5. 5. 2006

• teďpředchozí 16:555. 5. 2006, 16:55‎ Postrach diskuse příspěvky‎ 1 459 bajtů +185‎ + odkaz na teor. vycislitelnosti zrušit editaci

17. 1. 2006

• teďpředchozí 17:1717. 1. 2006, 17:17‎ Porthos diskuse příspěvky‎ m 1 274 bajtů +26‎ robot přidal: zh zrušit editaci

8. 11. 2005

• teďpředchozí 16:338. 11. 2005, 16:33‎ Tsca.bot diskuse příspěvky‎ m 1 248 bajtů +74‎ robot přidal: es, pt, ru zrušit editaci

14. 9. 2005

• teďpředchozí 15:5314. 9. 2005, 15:53‎ 147.231.32.249 diskuse‎ 1 174 bajtů 0‎ 0 = není možno, 1 = je možno zrušit editaci

22. 7. 2005

• teďpředchozí 09:5022. 7. 2005, 09:50‎ Bota47 diskuse příspěvky‎ m 1 174 bajtů +33‎ robot přidal: pl zrušit editaci

1. 7. 2005

• teďpředchozí 15:391. 7. 2005, 15:39‎ Postrach diskuse příspěvky‎ m 1 141 bajtů 0‎ rozsireni jedne vety zrušit editaci
• teďpředchozí 15:391. 7. 2005, 15:39‎ Postrach diskuse příspěvky‎ m 1 141 bajtů +102‎ rozsireni jedne vety zrušit editaci

29. 11. 2004

• teďpředchozí 11:2529. 11. 2004, 11:25‎ BotCS diskuse příspěvky‎ m 1 039 bajtů +11‎ warnfile Přidal:it,tr zrušit editaci

23. 9. 2004

• teďpředchozí 09:5223. 9. 2004, 09:52‎ Mormegil diskuse příspěvky‎ m 1 028 bajtů +281‎ formátování, interwiki, kategorie (s editačním konfliktem) zrušit editaci
• teďpředchozí 09:5023. 9. 2004, 09:50‎ Postrach diskuse příspěvky‎ 747 bajtů +74‎ Bez shrnutí editace zrušit editaci
• teďpředchozí 00:0823. 9. 2004, 00:08‎ Postrach diskuse příspěvky‎ 673 bajtů +673‎ Bez shrnutí editace