Пынько, А. (2007). Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства. Видавничий дім "Академперіодика" НАН України.
Чикаго стиль цитування (17-те видання)Пынько, А.П. Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства. Видавничий дім "Академперіодика" НАН України, 2007.
Стиль цитування MLA (8-ме видання)Пынько, А.П. Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства. Видавничий дім "Академперіодика" НАН України, 2007.
Попередження: стилі цитування не завжди правильні на всі 100%.