326 записей
Казарян В. П., Лолаев Т. П.
Математика и культура : учеб. пособие для вузов / Казарян В. П., Лолаев Т. П. ; ред. Лебедев С. А. - 2-е изд., испр. и доп. - М. : Научный мир, 2004. - 287 с. - Библиогр.:с. 275-282 . - ISBN 5-89176-254-4 .
Математика и культура : учеб. пособие для вузов / Казарян В. П., Лолаев Т. П. ; ред. Лебедев С. А. - 2-е изд., испр. и доп. - М. : Научный мир, 2004. - 287 с. - Библиогр.:
Кановей В. Г., Любецкий В. А.
Современная теория множеств: начала дескриптивной динамики / Кановей В. Г., Любецкий В. А. ; РАН. Ин-т проблем передачи информации им. А. А. Харкевича ; отв. ред. Палютин Е. А. - М. : Наука, 2007. - 231 с. - Библиогр.:с. 219-223 . - ISBN 978-5-02-035577-4 .
Современная теория множеств: начала дескриптивной динамики / Кановей В. Г., Любецкий В. А. ; РАН. Ин-т проблем передачи информации им. А. А. Харкевича ; отв. ред. Палютин Е. А. - М. : Наука, 2007. - 231 с. - Библиогр.:
Карри Хаскелл Б.
Основания математической логики / Карри Хаскелл Б. ; пер. с англ. Донченко В. В. ; ред. пер. Гастев Ю. А. - М. : Мир, 1969. - 567 с.
Основания математической логики / Карри Хаскелл Б. ; пер. с англ. Донченко В. В. ; ред. пер. Гастев Ю. А. - М. : Мир, 1969. - 567 с.
Китаев А. Ю., Шень А., Вялый М.
Классические и квантовые вычисления / Китаев А. Ю., Шень А., Вялый М. - М. : МЦНМО : ЧеРо, 1999. - 191 с. : ил. - (Новые математические дисциплины). - Библиогр.:с. 186-188 . - ISBN 5-900916-35-9 . - ISBN 985-6595-04-5 .
Классические и квантовые вычисления / Китаев А. Ю., Шень А., Вялый М. - М. : МЦНМО : ЧеРо, 1999. - 191 с. : ил. - (Новые математические дисциплины). - Библиогр.:
Клини С. К.
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гостев Ю. А. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 480 с. - Библиогр.:с. 451-465 . - ISBN 5-354-01011-X .
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гостев Ю. А. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 480 с. - Библиогр.:
Клини С. К.
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гастев Ю. А. - 3-е изд., стер. - М. : КомКнига, 2007. - 480 с. - Библиогр.:с. 451-465 . - ISBN 978-5-484-00802-5 .
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гастев Ю. А. - 3-е изд., стер. - М. : КомКнига, 2007. - 480 с. - Библиогр.:
Ключарев П. Г., Жуков Д. А.
Введение в теорию алгоритмов : учеб. пособие / Ключарев П. Г., Жуков Д. А. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2012. - 37 с. : ил. - Библиогр.:с. 37 .
Введение в теорию алгоритмов : учеб. пособие / Ключарев П. Г., Жуков Д. А. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2012. - 37 с. : ил. - Библиогр.:
Коваленко С. И.
Решение задач математической логики с использованием элементарной алгебры / Коваленко С. И. - М. : Физматлит, 2004. - 79 с. - Библиогр.:c. 58 . - ISBN 5-94052-069-5 .
Решение задач математической логики с использованием элементарной алгебры / Коваленко С. И. - М. : Физматлит, 2004. - 79 с. - Библиогр.:
Колмогоров А. Н., Драгалин А. Г.
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : Эдиториал УРСС, 2004. - 238 с. - (Классический университетский учебник). - Библиогр.:с. 228 . - ISBN 5-354-00389-X .
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : Эдиториал УРСС, 2004. - 238 с. - (Классический университетский учебник). - Библиогр.:
Колмогоров А. Н., Драгалин А. Г.
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 238 с. - (Классический университетский учебник). - Библиогр.:с. 228 . - ISBN 5-354-01003-9 .
Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 238 с. - (Классический университетский учебник). - Библиогр.: