Библиографический источник

Основания интуиционистской математики с точки зрения теории рекурсивных функций

пер. с англ. Ф. А. Кабакова, Б. А. Кушнера

Автор:: Клини С. К.
Место издания:: Москва
Издатель:: Наука
Дата издания:: 1978
Объём:: 271 с.
Серия:: Математическая логика и основания математики
Сведения о библиографии:: Список лит.: с. 254-266
Язык текста:: Русский