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

Новости

20 Сентября, 2023 Объявление о дополнительном приеме в аспирантуру ИСП РАН в 2023 году

08 Сентября, 2023 Напоминаем, что в Москве начались выборы Мэра

06 Сентября, 2023 Открытая конференция ИСП РАН состоится 4-5 декабря

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

[1994]

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

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

95.04.34

книга

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