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

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

1 товар
Вільям М. Фармер
Очистити все
1 товар
Паперова книга «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
Вільям М. Фармер Вільям М. Фармер
Немає в наявності