на сайт факультета информатики ТГУ
на сайт Томского государственного университета
  


НАЧАЛО БИБЛИОТЕКА УЧЕБНАЯ ЛИТЕРАТУРА

     УЧЕБНАЯ ЛИТЕРАТУРА



Чень Ч., Ли Р.

Математическая логика и автоматическое доказательство теорем .— М.: Наука. Главная редакция физико-математической литературы, 1983.— 360 с.


http://www.inf.tsu.ru/Library/Edu/Chenj.djvu

DJVU
Объем 3371 Кбайт

Для чтения документов формата DjVu можно воспользоваться специальным плагином DjVuWebBrowserPlugin, который встраивается в Internet Explorer и в FireFox. Дежавю, применительно к компьютерам, представляет собой новый графический формат, весьма экономичный. Как и что в нем устроено, вы можете подробно ознакомиться в нескольких статьях, размещенных на странице Ликбез по DjVu.

Copyright © 2019 Факультет информатики Томского государственного университета  
  Служба сервера