Пынько, А. (2007). Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства. Видавничий дім "Академперіодика" НАН України.
Chicago-Zitierstil (17. Ausg.)Пынько, А.П. Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства. Видавничий дім "Академперіодика" НАН України, 2007.
MLA-Zitierstil (8. Ausg.)Пынько, А.П. Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства. Видавничий дім "Академперіодика" НАН України, 2007.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.