Письмо с приложением в поддержку предложения В.П. Сангажиева о переводе книги Ченя и Ли "Символическая логика и механическое доказательство теорем". В приложении - предложение об издании перевода книги C.-L. Chang, R. Lee "Symbolic logic and mechanical theorem proving" Дата: 19.07.1977 Оригинальный язык документа: русский Авторы: Святослав Сергеевич Лавров Организации: ЛГУ (СПбГУ), Изд-во "Наука", Физматлит Персоналии: Валерий Павлович Сангажиев Адресаты: Анатолий Тихонович Цветков
