Числення секвенцій: історія змін

28 грудня 2022

• поточн.попер. 21:4921:49, 28 грудня 2022‎ Lxlalexlxl обговорення внесок‎ 7243 байти +72‎ →‎Джерела скасувати

21 березня 2021

• поточн.попер. 11:0611:06, 21 березня 2021‎ Yuriz обговорення внесок‎ 7171 байт −4‎ Немає опису редагування скасувати
• поточн.попер. 11:0511:05, 21 березня 2021‎ Yuriz обговорення внесок‎ 7175 байтів +36‎ вікіфікація скасувати

8 червня 2018

• поточн.попер. 11:0511:05, 8 червня 2018‎ Shynkar обговорення внесок‎ 7139 байтів +65‎ →‎Джерела скасувати

23 травня 2017

• поточн.попер. 19:1319:13, 23 травня 2017‎ Uawikibot1 обговорення внесок‎ м 7074 байти −21‎ Ієрархія заголовків. WikiProject Check Wikipedia ID #25 скасувати

8 жовтня 2016

• поточн.попер. 01:0501:05, 8 жовтня 2016‎ Sanya3 обговорення внесок‎ м 7095 байтів +55‎ додана Категорія:Теорія доведення з допомогою HotCat скасувати

17 червня 2015

• поточн.попер. 14:5914:59, 17 червня 2015‎ Dƶoxar обговорення внесок‎ м 7040 байтів +7‎ Немає опису редагування скасувати

26 березня 2013

• поточн.попер. 14:5614:56, 26 березня 2013‎ Addbot обговорення внесок‎ м 7033 байти −181‎ Вилучення 7 інтервікі, відтепер доступних на Вікіданих: d:q1771121 скасувати

15 жовтня 2012

• поточн.попер. 12:2112:21, 15 жовтня 2012‎ IvanBot обговорення внесок‎ м 7214 байтів +1‎ →‎Термінологія: replaced: звяз → зв'яз скасувати

26 січня 2011

• поточн.попер. 19:2219:22, 26 січня 2011‎ Іванко1 обговорення внесок‎ м 7213 байтів −8‎ стильові правлення скасувати

14 червня 2010

• поточн.попер. 03:2903:29, 14 червня 2010‎ DSisyphBot обговорення внесок‎ м 7221 байт +24‎ робот додав: eo:Sekvaĵa kalkulo скасувати

5 грудня 2009

• поточн.попер. 23:3523:35, 5 грудня 2009‎ 213.130.19.59 обговорення‎ 7197 байтів +25‎ Немає опису редагування скасувати

25 вересня 2009

• поточн.попер. 16:5916:59, 25 вересня 2009‎ IhorLviv обговорення внесок‎ 7172 байти +7172‎ Створена сторінка: '''Чи́слення секве́нцій''' — система формального виведення формул [[логіка першого порядк...