Личный кабинет
82 записи
А. Г. Драгалин
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин ; ред. В. В. Донченко. - Москва : Наука, 1979. -255 с.
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин ; ред. В. В. Донченко. - Москва : Наука, 1979. -
Читать онлайн
Ю. Л. Ершов
Проблемы разрешимости и конструктивные модели / Ю. Л. Ершов ; ред. В. В. Донченко, ред. В. А. Горбунов. - Москва : Наука, 1980. -415 с.
Проблемы разрешимости и конструктивные модели / Ю. Л. Ершов ; ред. В. В. Донченко, ред. В. А. Горбунов. - Москва : Наука, 1980. -
Ю. Л. Ершов
Теория нумераций / Ю. Л. Ершов ; ред. В. В. Донченко. - Москва : Наука, 1977. -415 с.
Теория нумераций / Ю. Л. Ершов ; ред. В. В. Донченко. - Москва : Наука, 1977. -
Р. Фейс
Модальная логика : учебное пособие / Р. Фейс ; ред. Ю. А. Гастев, ред. В. В. Донченко, пер. с доп. и под ред. Г. Е. Минц. - Москва : Наука, 1974. -518 с.
Модальная логика : учебное пособие / Р. Фейс ; ред. Ю. А. Гастев, ред. В. В. Донченко, пер. с доп. и под ред. Г. Е. Минц. - Москва : Наука, 1974. -
Р. Л. Гудстейн
Рекурсивный математический анализ / Р. Л. Гудстейн ; ред. В. В. Донченко, пер. с англ. А. О. Слисенко. - Москва : Наука, 1970. -471 с.
Рекурсивный математический анализ / Р. Л. Гудстейн ; ред. В. В. Донченко, пер. с англ. А. О. Слисенко. - Москва : Наука, 1970. -
Б. А. Кушнер
Лекции по конструктивному математическому анализу / Б. А. Кушнер ; ред. В. В. Донченко. - Москва : Наука, 1973. -447 с.
Лекции по конструктивному математическому анализу / Б. А. Кушнер ; ред. В. В. Донченко. - Москва : Наука, 1973. -
П. С. Новиков
Элементы математической логики / П. С. Новиков ; ред. В. В. Донченко. - Москва : Наука, 1973. -399 с.
Элементы математической логики / П. С. Новиков ; ред. В. В. Донченко. - Москва : Наука, 1973. -
П. С. Новиков
Конструктивная математическая логика с точки зрения классической / П. С. Новиков ; ред. Ф. А. Кабаков, ред. Б. А. Кушнер, ред. В. В. Донченко. - Москва : Наука, 1977. -329 с.
Конструктивная математическая логика с точки зрения классической / П. С. Новиков ; ред. Ф. А. Кабаков, ред. Б. А. Кушнер, ред. В. В. Донченко. - Москва : Наука, 1977. -
А. Робинсон
Введение в теорию моделей и метаматематику алгебры / А. Робинсон ; под ред. А. Д. Тайманов, ред. В. В. Донченко, пер. с англ. А. Б. Волынский. - Москва : Наука, 1967. -375 с.
Введение в теорию моделей и метаматематику алгебры / А. Робинсон ; под ред. А. Д. Тайманов, ред. В. В. Донченко, пер. с англ. А. Б. Волынский. - Москва : Наука, 1967. -
Д. Шенфилд
Математическая логика / Д. Шенфилд ; под ред. Ю. Л. Ершов, пер. с англ. И. А. Лавров, пер. с англ. И. А. Мальцев, пер. А. И. Донченко. - Москва : Наука, 1975. -527 с.
Математическая логика / Д. Шенфилд ; под ред. Ю. Л. Ершов, пер. с англ. И. А. Лавров, пер. с англ. И. А. Мальцев, пер. А. И. Донченко. - Москва : Наука, 1975. -
