Dgerasimov
переименовал Обсуждение:Лекция 3 в Обсуждение:Лемма о дедукции, полнота исчисления высказываний
20:47
+149
