APA (7th ed.) Citation

Шкільняк, С. (2013). Секвенційні системи логічного виведення першопорядкових логік часткових предикатів. Компьютерная математика.

Chicago Style (17th ed.) Citation

Шкільняк, С.С. "Секвенційні системи логічного виведення першопорядкових логік часткових предикатів." Компьютерная математика 2013.

MLA (8th ed.) Citation

Шкільняк, С.С. "Секвенційні системи логічного виведення першопорядкових логік часткових предикатів." Компьютерная математика, 2013.

Warning: These citations may not always be 100% accurate.