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

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

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 грн
Немає в наявності