Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
510.6
Сортировать по: заглавиюдате издания
Книга
Чесноков, С. В.
Феноменология диалогов в гештальт-теории, математике, логике
Книжный дом "ЛИБРОКОМ", 2009 г.
ISBN 978-5-397-00269-1
/ : к. Грибоедова, 123
Чесноков, С. В.
Феноменология диалогов в гештальт-теории, математике, логике
Книжный дом "ЛИБРОКОМ", 2009 г.
ISBN 978-5-397-00269-1
/ : к. Грибоедова, 123
Книга
Применение методов математической логики. Секция "Представление знаний и синтез программ"
тезисы докладов IV всесоюзной конференции
АН Эстонской ССР, 1986 г.
ISBN отсутствует
/ : Промышленная, 17
Применение методов математической логики. Секция "Представление знаний и синтез программ"
тезисы докладов IV всесоюзной конференции
АН Эстонской ССР, 1986 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Методы математической логики в проблемах искусственного интеллекта и систематическое программиров...: тезисы докладов и сообщений всесоюзной конференции (Паланга, 3-5 сентября 1980 г.)
АН Литовской ССР, 1980 г.
ISBN отсутствует
/ : Промышленная, 17
Методы математической логики в проблемах искусственного интеллекта и систематическое программиров...: тезисы докладов и сообщений всесоюзной конференции (Паланга, 3-5 сентября 1980 г.)
АН Литовской ССР, 1980 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Применение методов математической логики: тезисы докладов 3-й Всесоюзной конференции, Таллин, 4-7 сентября 1983 г.
Бит, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
Применение методов математической логики: тезисы докладов 3-й Всесоюзной конференции, Таллин, 4-7 сентября 1983 г.
Бит, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Математическая логика и основания математики: тезисы
Наука, 1966 г.
ISBN отсутствует
/ : Промышленная, 17
Математическая логика и основания математики: тезисы
Наука, 1966 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Заславский, И. Д.
Симметрическая конструктивная логика
АН Армянской ССР, 1978 г.
ISBN отсутствует
/ : Промышленная, 17
Заславский, И. Д.
Симметрическая конструктивная логика
АН Армянской ССР, 1978 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Слободской, А. М.
Вопросы разрешимости универсальных и расширенных теорий: Автореферат диссертации на соискание ученой степени кандидата физико-математических наук
1980 г.
ISBN отсутствует
/ : Промышленная, 17
Слободской, А. М.
Вопросы разрешимости универсальных и расширенных теорий: Автореферат диссертации на соискание ученой степени кандидата физико-математических наук
1980 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Методические указания по разделу "Элементы математической логики" (курс высшей математики)
1977 г.
ISBN отсутствует
/ : Промышленная, 17
Методические указания по разделу "Элементы математической логики" (курс высшей математики)
1977 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Исследования по конструктивной математике и математической логике. I: сборник работ
Вычислительный центр АН СССР, 1967 г.
ISBN отсутствует
/ : Промышленная, 17
Исследования по конструктивной математике и математической логике. I: сборник работ
Вычислительный центр АН СССР, 1967 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Лакатос, И.
Доказательства и опровержения: Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
/ : Промышленная, 17
Лакатос, И.
Доказательства и опровержения: Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Математическая логика и математическая лингвистика: Межвузовский тематический сборник
Калининский государственный университет, 1981 г.
ISBN отсутствует
/ : Промышленная, 17
Математическая логика и математическая лингвистика: Межвузовский тематический сборник
Калининский государственный университет, 1981 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Шенфильд, Дж.
Математическая логика
Mathematical logic
Наука, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Шенфильд, Дж.
Математическая логика
Mathematical logic
Наука, 1975 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Чёрч, А.
Введение в математическую логику . Т. 1
Издательство иностранной литературы, 1960 г.
ISBN отсутствует
/ : Промышленная, 17
Чёрч, А.
Введение в математическую логику . Т. 1
Издательство иностранной литературы, 1960 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Мендельсон, Э.
Введение в математическую логику
Introduction to mathematical logic
Наука, 1971 г.
ISBN отсутствует
/ : Промышленная, 17
Мендельсон, Э.
Введение в математическую логику
Introduction to mathematical logic
Наука, 1971 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Глушков, В. М.
Синтез цифровых автоматов
Физматгиз, 1962 г.
ISBN отсутствует
/ : Промышленная, 17
Глушков, В. М.
Синтез цифровых автоматов
Физматгиз, 1962 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Серебрянников, О. Ф.
Эвристические принципы и логические исчисления
Наука, 1970 г.
ISBN отсутствует
/ : Промышленная, 17
Серебрянников, О. Ф.
Эвристические принципы и логические исчисления
Наука, 1970 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
Spisani, F.
Implication, endometry, universe of discourse
Implicazione, endometria, universo del discorso
International logic review press, 1977 г.
ISBN отсутствует
/ : Промышленная, 17
Spisani, F.
Implication, endometry, universe of discourse
Implicazione, endometria, universo del discorso
International logic review press, 1977 г.
ISBN отсутствует
/ : Промышленная, 17
Книга
International Logic Review. N.16 - Dicembre 1977
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1977 г.
ISBN отсутствует
/ : Промышленная, 17
International Logic Review. N.16 - Dicembre 1977
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1977 г.
ISBN отсутствует
/ : Промышленная, 17