Картинки из квадратов \ Теоретико-множественная математика \ Theoretical Computer Science \ Искусственный интеллект \

9.7.4.3. Математическая логика
и автоматическое доказательство теорем
(Ч. Чень, Р. Ли; 1983)

Начало см. здесь.
Чень Ч., Ли Р.
Математическая логика и автоматическое доказательство теорем.
Пер. с англ., М.: Наука, 1983.
9.7.4.3.01. Фрагмент титульного листа английского издания книги      9.7.4.3.4. Теорема Эрбана
9.7.4.3.01. Фрагмент титульного листа английского издания книги      9.7.4.3.4. Теорема Эрбана
К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Theoretical Computer Science \ Искусственный интеллект \