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