Автор: Клини Стефан Коул

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

Ответственность: перевод с английского Кабакова Ф. А., Кушнера Б. А.

Год публикации: 1978

Место издания: Москва

Издательство: Наука

Объем: 271 с.

Cерия: Математическая логика и основания математики

Ключевые слова: Интуиционизм; Математика; Философские проблемы;

ББК: 22.1в1

Библиография: Указ. имен, предм. и обозначений: с. 267-271. - Библиогр.: с. 254-266