Glk
Новая страница: «'''First Order formula''' --- формула первого порядка. ==See== *''Logic for expressing graph properties''.»
09:25
+128