Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science
Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Truth, Deduction, and Computation: Logic and Semantics for Computer Science

Автор: Davis R.E.

Язык: en

Рубрика: Технология/

Статус предметного указателя: Указатель в процессе заполнения

ed2k: ed2k stats

Год издания: 1989

Количество страниц: 281

Добавлена в каталог: 28.01.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Предметный индекс пока отсутствует. О том, как ускорить появление предметного индекса можно прочитать на форуме.
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте