80 записей
Р. Л. Гудстейн
Рекурсивный математический анализ / Р. Л. Гудстейн ; ред. В. В. Донченко, пер. с англ. А. О. Слисенко. - Москва : Наука, 1970. -471 с.
Рекурсивный математический анализ / Р. Л. Гудстейн ; ред. В. В. Донченко, пер. с англ. А. О. Слисенко. - Москва : Наука, 1970. -
Б. А. Кушнер
Лекции по конструктивному математическому анализу / Б. А. Кушнер ; ред. В. В. Донченко. - Москва : Наука, 1973. -447 с.
Лекции по конструктивному математическому анализу / Б. А. Кушнер ; ред. В. В. Донченко. - Москва : Наука, 1973. -
П. С. Новиков
Элементы математической логики / П. С. Новиков ; ред. В. В. Донченко. - Москва : Наука, 1973. -399 с.
Элементы математической логики / П. С. Новиков ; ред. В. В. Донченко. - Москва : Наука, 1973. -
П. С. Новиков
Конструктивная математическая логика с точки зрения классической / П. С. Новиков ; ред. Ф. А. Кабаков, ред. Б. А. Кушнер, ред. В. В. Донченко. - Москва : Наука, 1977. -329 с.
Конструктивная математическая логика с точки зрения классической / П. С. Новиков ; ред. Ф. А. Кабаков, ред. Б. А. Кушнер, ред. В. В. Донченко. - Москва : Наука, 1977. -
А. Робинсон
Введение в теорию моделей и метаматематику алгебры / А. Робинсон ; под ред. А. Д. Тайманов, ред. В. В. Донченко, пер. с англ. А. Б. Волынский. - Москва : Наука, 1967. -375 с.
Введение в теорию моделей и метаматематику алгебры / А. Робинсон ; под ред. А. Д. Тайманов, ред. В. В. Донченко, пер. с англ. А. Б. Волынский. - Москва : Наука, 1967. -
Д. Шенфилд
Математическая логика / Д. Шенфилд ; под ред. Ю. Л. Ершов, пер. с англ. И. А. Лавров, пер. с англ. И. А. Мальцев, пер. А. И. Донченко. - Москва : Наука, 1975. -527 с.
Математическая логика / Д. Шенфилд ; под ред. Ю. Л. Ершов, пер. с англ. И. А. Лавров, пер. с англ. И. А. Мальцев, пер. А. И. Донченко. - Москва : Наука, 1975. -
Д. Шенфилд
Степени неразрешимости / Д. Шенфилд ; под ред. Ю. Л. Ершов, ред. В. В. Донченко, пер. с англ. И. А. Лавров. - Москва : Наука, 1977. -192 с.
Степени неразрешимости / Д. Шенфилд ; под ред. Ю. Л. Ершов, ред. В. В. Донченко, пер. с англ. И. А. Лавров. - Москва : Наука, 1977. -
Х. Б. Карри
Основания математической логики / Х. Б. Карри ; ред. Ю. А. Гастев, пер. с англ. В. В. Донченко. - Москва : Мир, 1969. -566 с.
Основания математической логики / Х. Б. Карри ; ред. Ю. А. Гастев, пер. с англ. В. В. Донченко. - Москва : Мир, 1969. -
И. Л. Кантор, А. С. Солодовников
Гиперкомплексные числа / И. Л. Кантор, А. С. Солодовников ; ред. В. В. Донченко. - Москва : Наука, 1973. -144 с.
Гиперкомплексные числа / И. Л. Кантор, А. С. Солодовников ; ред. В. В. Донченко. - Москва : Наука, 1973. -
Инженерные войска Вооруженных сил Российской Федерации и основы их боевого применения : учебное пособие / Д. В. Шуняков, К. С. Фокин, Ю. Ф. Куприянов, И. А. Донченко ; Уральский федеральный университет им. первого Президента России Б. Н. Ельцина. - Екатеринбург : Издательство Уральского университета, 2017. - 118 с. - ISBN 978-5-7996-2078-3 .