TY - BOOK AU - Бочвар,Д.А. TI - Исследования по формализованным языкам и неклассическим логикам PY - 1974/// CY - Москва PB - Наука KW - Математическая лингвистика ER -