Шкільняк, С. (2012). Секвенційні числення першопорядкових логік однозначних квазіарних предикатів. Інститут програмних систем НАН України.
Chicago Style (17th ed.) CitationШкільняк, С.С. Секвенційні числення першопорядкових логік однозначних квазіарних предикатів. Інститут програмних систем НАН України, 2012.
MLA (8th ed.) CitationШкільняк, С.С. Секвенційні числення першопорядкових логік однозначних квазіарних предикатів. Інститут програмних систем НАН України, 2012.
Warning: These citations may not always be 100% accurate.