Glk
Новая страница: «'''Monadic Second Order formula''' --- монадическая второго порядка формула. ==See== *'' Logic for expressing graph properties''.»
14:55
+163