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

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