Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 11 արդյունքները 11 այս փնտրման համար '', հարցման ժամանակը: 0.02s Հստակեցնել արդյունքները
  1. 1
    Введение в математическую логику /
    Мендельсон, Эллиот
    Հրապարակվել է 1976
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  2. 2
    Дискретная математика для программистов : Учеб. пособие для студентов вузов, обучающихся по направлению подгот. "Прикладная математика" /
    Хаггарти, Род
    Հրապարակվել է 2003
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  3. 3
    Ламбда-исчисление : Его синтаксис и семантика /
    Барендрегт, Хендрик Питер
    Հրապարակվել է 1985
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  4. 4
    Математическая логика /
    Гудстейн, Рейбен Луис
    Հրապարակվել է 1961
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  5. 5
    Математическая логика и автоматическое доказательство теорем : Пер. с англ. /
    Чень, Ч.
    Հրապարակվել է 1983
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  6. 6
    Математическая логика и ее применения : Сборник статей : Пер. с англ. /
    Мальцев, Анатолий Иванович
    Հրապարակվել է 1965
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  7. 7
    Математическая логика : Пер. с англ. /
    Шенфилд, Джозеф
    Հրապարակվել է 1975
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  8. 8
    Математическая логика : Пер. с англ. /
    Гудстейн, Р.Л
    Հրապարակվել է 1961
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  9. 9
    Множества. Логика. Аксиоматические теории : Пер. с англ. /
    Столл, Роберт Р.
    Հրապարակվել է 1968
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  10. 10
    Основания математической логики : Пер. с англ. /
    Карри, Хаскелл Б.
    Հրապարակվել է 1969
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  11. 11
    Теория формальных систем : Пер. с англ. /
    Смальян, Раймонд М.
    Հրապարակվել է 1981
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը