libcats.org
Главная →

Truth, deduction, and computation: logic and semantics for computer science

Обложка книги Truth, deduction, and computation: logic and semantics for computer science

Truth, deduction, and computation: logic and semantics for computer science

Davis R.E. Truth, deduction, and computation (Computer Science Press, 1989)(ISBN 0716782014)(files)
Популярные книги за неделю:

50 рецептов для аэрогриля

 Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Genki 1: An Integrated Course in Elementary Japanese 1

 Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:

Мои рецепты стройности

 Автор:
Категория: Здоровье
Размер книги: 178 Kb

Бог как иллюзия

 Автор:
Размер книги: 2.87 Mb

At Swim-Two-Birds

 Автор:
Размер книги: 276 Kb