Уведомления
Уведомлений еще не было
Пять пороков команды
Пять пороков команды

Патрик Ленсиони

8.4
425 оценок
Правописные истины, или Левосудие для всех. 3-е издание
Правописные истины, или Левосудие для всех. 3-е издание

Павел Астахов

7.0
1 оценка
Невидимые женщины. Почему мы живем в мире, удобном только для мужчин. Неравноправие, основанное на данных
Невидимые женщины. Почему мы живем в мире, удобном только для мужчин. Неравноправие, основанное на данных

Перес Кэролайн Криадо

9.0
1 оценка
Всё о муми-троллях. Книга 1
Всё о муми-троллях. Книга 1

Туве Янссон

8.0
1 оценка
Рохан в Лувре
Рохан в Лувре

Хирохико Араки

7.0
1 оценка
Хороших девочек не убивают
Хороших девочек не убивают

Холли Джексон

8.6
433 оценки

Книги Булос Дж.

Булос Дж. - автор 1 книги. Из известных произведений можно выделить: Вычислимость и логика. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Математика
8.0
0
0
Вычислимость и логика
Джеффри Руделл
Вычислимость и логика

Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, ...

Джеффри Руделл Вычислимость и логика

Книгогид использует cookie-файлы для того, чтобы сделать вашу работу с сайтом ещё более комфортной. Если Вы продолжаете пользоваться нашим сайтом, вы соглашаетесь на применение файлов cookie.