![Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science](/covers/10d5d136.jpg)
Обсудите книгу на научном форуме ![](http://dxdy.ru/80x15.png)
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
|
Название: Truth, Deduction, and Computation: Logic and Semantics for Computer Science
Автор: Davis R.E.
Язык: ![en](/img/ico/en.png)
Рубрика: Технология/
Статус предметного указателя: Готов указатель с номерами страниц
ed2k: ed2k stats
Год издания: 1989
Количество страниц: 281
Добавлена в каталог: 28.01.2014
Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
|