История
7 февраля 2022
5 июля 2021
нет описания правки
−2
отмена правки 115296984 участника Brattarb (обс.) Это ошибка. Противоречит написанному ниже. А если бы в источнике было бы написано 5 = 2*2, то же бы тупо исправляли.
−126
викификация
+6
противоречит источникам
+126
Исправление ошибки приравнивания Интуиционистского исчисления высказываний и Интуиционистской логики.
−126
Amk1925 переименовал страницу Интуиционистское исчисление высказываний в Интуиционистская логика поверх перенаправления: Ошибка наименования. Статья содержит информацию по интуистической логике, включая как часть Интуиционистское исчисление высказываний
м