|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Валерий Павлович Сангажиев Письмо с приложением, С. С. Лавров->А. Т. Цветков, 19.07.1977 в поддержку предложения В.П. Сангажиева о переводе книги Ченя и Ли "Символическая логика и механическое доказательство теорем". В приложении - предложение об издании перевода книги C.-L. Chang, R. Lee "Symbolic logic and mechanical theorem proving"
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
