22.127 К 493 Клини С. Основания интуиционистской математики с точки зрения теории рекурсивных функций / Клини Стефен, Весли Ричард; перевод с английского Ф. А. Кабакова, Б. А. Кушнера. - Москва: Наука, 1978. - 272 с. - (Математическая логика и основания математики). - Библиогр.: с. 254. - Указ. имен: с. 267. - Предм. указ.: с. 268. - Указ. обозн.: с. 270. [подробнее]
Блог Мишки Б.
