26 декабря 2012
- 14:2014:20, 26 декабря 2012 разн. история +59 Алгоритмическая разрешимость →Примеры разрешимых теорий Метка: добавление ссылки
Условные обозначения патрулирования: патрулированная версия, непроверенная версия, страница не проверялась.
 | Это страница вклада, сделанного с IP-адреса без регистрации. Некоторые IP-адреса могут быть разделены между несколькими пользователями. |