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