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

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

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

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	2-061344
	Available Place a Hold