Главная Серия книг

Серия книг – Computer Science Foundations and Applied Logic

Очистить
Birkhauser
2 товара
Бумажная книга «Algorithms for Constructing Computably Enumerable Sets», автор Кеннет Дж. Суповит – фото №1
Бумажные
Algorithms for Constructing Computably Enumerable Sets
Кеннет Дж. Суповит Кеннет Дж. Суповит
3564 грн
Нет в наличии
Бумажная книга «Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas», автор Уильям М. Фармер – фото №1
Бумажные
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Уильям М. Фармер Уильям М. Фармер
4860 грн
Нет в наличии