Исследования по математической лингвистике, математической логике и информационным языкам [сборник статей]

Bibliographic Details
Other Authors:	Бочвар, Дмитрий Анатольевич 1903-1990 (Editor), Шрейдер, Юлий Анатольевич 1927-1998 (Editor)
Format:	Book
Language:	Russian
Published:	Москва Наука 1972
Subjects:	математическая лингвистика грамматики обобщенные, свойства синтаксические преобразования, формальный аппарат предложения сложные, порождение из простых киданьское письмо, дешифровка метаязык, построение семиотические системы квазилингвистические, описание информация в структурах с отношениями информационно-поисковые языки, разработка Куайна аксиоматическая система теории множеств, фрагменты истина для канторовских множеств упорядоченных сильно исчисление предикатов Ko расширенное, погружение в арифметику аксиомы свертывания, схемы континуум суслинский однородный исчисление высказываний, система аксиом самодвойственная логики многозначные антиномии, формализация анализа

Description
Physical Description:	296, [1] с. ил., табл.
Bibliography:	Библиогр. в конце ст.

Исследования по математической лингвистике, математической логике и информационным языкам [сборник статей]

Similar Items