Поиск :
Личный кабинет :
Электронный каталог: Теория рекурсии
Теория рекурсии
Многотомник
Справочная книга по математической логике: в 4 ч. / под ред. Дж. Барвайс. – Москва: Наука, 1982.
Книга
51 С74
Ч.3 : Теория рекурсии: пер. с англ. / под ред. Дж. Барвайс; пер. С.Г. Дворников, И.А. Лавров; ред. перевода Ю.Л. Ершов. – 1982. – 360 с. – На рус. яз.: 2.00.
510.6(035.5)
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
общий = РЕКУРСИВНЫЕ ФУНКЦИИ
Справочная книга по математической логике: в 4 ч. / под ред. Дж. Барвайс. – Москва: Наука, 1982.
Книга
51 С74
Ч.3 : Теория рекурсии: пер. с англ. / под ред. Дж. Барвайс; пер. С.Г. Дворников, И.А. Лавров; ред. перевода Ю.Л. Ершов. – 1982. – 360 с. – На рус. яз.: 2.00.
510.6(035.5)
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
общий = РЕКУРСИВНЫЕ ФУНКЦИИ