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

Ричард Весли; С. Клини; Стефен КЛИНИ; Борис М. Хрусталев

Б69145

Издателство

Наука

Местоиздаване

Москва

Година на издаване

1978

Страници

272 с.

Класификационен индекс

УДК	Значение