Буллос Дж.,Джеффри Р. ...

Новости

12 Марта, 2025 XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»

01 Марта, 2025 Шнитману Виктору Зиновьевичу исполняется 80 лет

17 Февраля, 2025 Конкурс на замещение должности

Буллос Дж., Джеффри Р.

[1994]

Вычислимость и логика

М., Мир (Перевод книги Boolos G., Jeffrey R.C. “Computability and Logic”, 1989.)

95.04.34

книга

Вернуться к поиску