Математическая логика в программировании: сборник статей; пер. с англ.

Математическая логика в программировании: сборник статей; пер. с англ.

Bibliographic Details
Other Authors:	Захарьящев М. В. (редактор), Янов Ю. И.
Language:	Russian
Published:	Москва, Мир, 1991
Series:	Математическое обеспечение ЭВМ
Subjects:	сборники математическая логика программирование вычислительные машины
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=155285

Similar Items

Математическая логика и её применение: сборник статей; пер. с англ.
Published: (Москва, Мир, 1965)

Математическая логика и алгоритмические проблемы
Published: (Новосибирск, Наука, 1989)

Математическая логика: пер. с англ.
by: Клини С. К. Стефан Коул
Published: (Москва, Мир, 1973)

Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах
by: Вольфенгаген В. Э. Вячеслав Эрнстович
Published: (Москва, Центр ЮрИнфоР, 2003)

Математическая логика: пер. с англ.
by: Гудстейн Р. Л.
Published: (Москва, Изд-во иностранной литературы, 1961)

Логическое программирование: сборник статей; пер. с англ. и фр.
Published: (Москва, Мир, 1988)

Кибернетика и логика: Математико-логические аспекты становления идей кибернетики и развития вычислительной техники
Published: (Москва, Наука, 1978)

Математическая логика и алгебра: Сборник статей
Published: (Москва, Наука, 2003)

Логика и цепи переключения: сокр. пер. с англ.
by: Хилтон А. М. Алиса Мери
Published: (Москва, Госэнергоиздат, 1962)

Конструктивная математическая логика с точки зрения классической
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1977)

Математическая логика
by: Гладкий А. В. Алексей Всеволодович
Published: (Москва, Изд-во Российского ГГУ, 1998)

Математическая логика и теория алгоритмов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1993)

Алгебра и математическая логика: межведомственный сборник
Published: (Киев, Изд-во Киевского ун-та, 1966)

Простое и сложное в программировании
Published: (Москва, Наука, 1988)

Логика и эмпирическое познание: сборник статей
Published: (Москва, Наука, 1972)

Логика в решении проблем: пер. с англ.
by: Ковальски Р. Роберт
Published: (Москва, Наука, 1990)

Математическая логика: учебное пособие
by: Ершов Юрий Леонидович
Published: (Москва, Наука, 1987)

Алгебра и логика: сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Математическая логика и теория алгоритмов для программистов: учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2010)

Что такое математическая логика?
by: Калужнин Л. А. Лев Аркадьевич
Published: (Москва, Наука, 1964)

Математическая логика: учебное пособие
by: Эдельман С. Л. Самсон Львович
Published: (Москва, Высшая школа, 1975)

Математическая логика: учебное пособие
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Наука, 1979)

Логика научного познания: актуальные проблемы; сборник статей
Published: (Москва, Наука, 1987)

Математическая логика: пер. с англ.
by: Клини С. К. Стивен Коул
Published: (Москва, Едиториал УРСС, 2005)

Математическая логика: дополнительные главы: учебное пособие
by: Колмогоров А. Н. Андрей Николаевич
Published: (Москва, Изд-во МГУ, 1984)

Математическая логика и теория алгоритмов: учебное пособие
by: Гурова Л. М. Любовь Михайловна
Published: (Москва, Изд-во МГГУ, 2006)

Математическая логика: учебное пособие
by: Колмогоров А.Н. Андрей Николаевич
Published: (Москва, УРСС, 2005)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
by: Гжегорчик А. Анджей
Published: (Москва, Наука, 1972)

Математическая логика и теория алгоритмов
Published: (Новосибирск, Наука, 1982)

Математическая логика: Курс лекций. Задачник-практикум и решения
by: Лихтарников Л. М.
Published: (СПб., Лань, 1999)

Математическая логика и теория алгоритмов: учебное пособие
by: Шелупанов А. А. Александр Александрович
Published: (Томск, STT, 2001)

Математическая логика и теория алгоритмов для программистов: учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2013)

Логика математического мышления
by: Теребилов О. Ф. Олег Федорович
Published: (Ленинград, Изд-во ЛГУ, 1987)

Логика в лицах и символах: Научно-популярная книга
by: Жоль К. К. Константин Константинович
Published: (Москва, Педагогика-Пресс, 1993)

Математическая логика: курс лекций; учебное пособие
by: Тимофеева И. Л. Ирина Леонидовна
Published: (Москва, Университет, 2007)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
by: Гжегорчик А. Анджей
Published: (Москва, Наука, 1979)

Логика, алгебра и базы данных: пер. с англ.
by: Грэй П. Питер
Published: (Москва, Машиностроение, 1989)

Избранные труды; Теория множеств. Математическая логика и алгебра
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1979)

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Published: (Калинин, Изд-во Калининского гос. ун-та, 1983)