Résultats de la recherche

Affiner les résultats
  1. 1

    Математическая логика учебное пособие par Ершов Ю. Л. Юрий Леонидович

    Publié СПб., Лань, 2005
    Livre
  2. 2
  3. 3

    Введение в метаматематику пер. с англ. par Клини С. К. Стефен К.

    Publié Москва, Изд-во иностранной литературы, 1957
    Livre
  4. 4

    Вычислимое и невычислимое par Манин Ю. И. Юрий Иванович

    Publié Москва, Сов. радио, 1980
    Livre
  5. 5

    Математическая логика и теория алгоритмов учебное пособие par Игошин В. И. Владимир Иванович

    Publié Москва, Академия, 2008
    Livre
  6. 6

    Теория алгоритмов учебник par Матрос Д. Ш. Дмитрий Шаевич

    Publié Москва, БИНОМ. Лаборатория знаний, 2008
    Livre
  7. 7

    Теория алгоритмов учебное пособие для вузов par Крупский В. Н. Владимир Николаевич

    Publié Москва, Академия, 2009
    Livre
  8. 8

    Логические и математические исчисления учебное пособие par Шиханович Ю. А. Юрий Александрович

    Publié Москва, Научный мир, 2011
    Livre
  9. 9

    Математическая логика и теория алгоритмов учебное пособие par Крупский В. Н. Владимир Николаевич

    Publié Москва, Академия, 2013
    Livre
  10. 10

    Локальная теория степеней неразрешимости par Арсланов М. М. Марат Мирзаевич

    Publié Казань, Изд-во Казанского ун-та, 1987
    Livre
  11. 11

    Теория алгоритмов учебное пособие для вузов par Игошин В. И. Владимир Иванович

    Publié Москва, Инфра-М, 2015
    Livre
  12. 12

    Рекурсивно перечислимые множества и степени неразрешимости par Арсланов М. М. Марат Мирзаевич

    Publié Казань, Изд-во Казанского ун-та, 1986
    Livre
  13. 13

    Т. 2 [сборник]

    Publié 1976
    Livre
  14. 14

    Алгоритмы и формальные системы учебное пособие par Лисовик Л. П. Леонид Петрович

    Publié Киев, Изд-во КГУ, 1981
    Livre
  15. 15

    Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов

    Publié Калинин, Изд-во Калининского гос. ун-та, 1983
    Livre
  16. 16
  17. 17

    Теория формальных систем пер. с англ. par Смальян Р. Раймонд

    Publié Москва, Наука, 1981
    Livre
  18. 18

    Степени неразрешимости пер. с англ. par Шенфилд Дж. Джозеф

    Publié Москва, Наука, 1977
    Livre
  19. 19

    Перечислимые множества учебное пособие par Дегтев А. Н. Александр Николаевич

    Publié Новосибирск, Изд-во НГУ, 1980
    Livre
  20. 20

    Алгоритмы и рекурсивные функции par Мальцев А. И. Анатолий Иванович

    Publié Москва, Наука, 1986
    Livre