TY - BOOK TI - Исследования по математической лингвистике, математической логике и информационным языкам PY - 1972/// CY - Москва PB - Наука KW - მათემატოკური ლოგიკა ER -