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

Серія книг – 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
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Вільям М. Фармер Вільям М. Фармер
Немає в наявності