Glk
Новая страница: «'''Provable problem'''--- частично разрешимая задача. ==See== *''Decision problem''.»
13:48
+109