Your search returned 2 results.

Results
	1.		Основания интуиционистской математики с точки зрения теории рекурсивных функций / С.К. Клини, Р. Весли ; Пер. с англ. Ф.А. Кабакова и Б.А. Кушнера. by Клини, Стефен Коул Весли, Ричард Кабаков, Ф.А [пер.] Кушнер, Б.А [пер.] Series: Математическая логика и основания математики Material type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1978 Other title: The Foundations of Intuitionistic Mathematics Especialle in Relation to Recursive Functions Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/410270, ... Place hold Save to lists Add to cart (remove)
	2.		Теория алгорифмов и математическая логика / Под ред. Б.А. Кушнера и Н.М. Нагорного. by Нагорный, Н.М [edt] Кушнер, Б.А [edt] Material type: Text Publication details: Москва : Вычислительный центр АН СССР , 1974 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/331089. Place hold Save to lists Add to cart (remove)

Refine your search