TY - BOOK AU - Гильберт,Д. AU - Аккерман,В. AU - Ерофеев,А.А. AU - Яновская,С.А. TI - Основы теоретической логики SN - 5-1251-0180-Х PY - 2000/// CY - Биробиджан PB - Издательский проект "Тривиум" N1 - Бібліогр. : с. 297-298, Указатель ER -