История
4 сентября 2022
1 сентября 2022
10 марта 2018
4 февраля 2017
15 ноября 2016
→Интерпретация булевых формул с кванторами как игр для двух игроков
м-2
→Интерпретация булевых формул с кванторами как игр для двух игроков
+51
Нет описания правки
+5268
24 декабря 2013
27 января 2012
15 января 2012
14 января 2012
→Правила вывода: очень важная правка http://twitter.com/sementry/status/158011592393490432
+5
→Итог
м+8
→Исчисление предикатов
+122
Нет описания правки
м+3
→Аксиомы
-363
→Аксиомы: кококо ручками переделывать из TeX в wiki
+33
Нет описания правки
+2340
→Исчисление предикатов
-146
Нет описания правки
+146
13 января 2012
Нет описания правки
+1
Нет описания правки
+56
Нет описания правки
-1
Нет описания правки
+115
Нет описания правки
-5
Нет описания правки
+9223
Нет описания правки
м+115