Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математическая логика
Печать списка
--> Математическая логика
Рубрика
- Название:
- Математическая логика
Печать списка
Связанные описания:
На полку
Книга
Ершов, Ю. Л.
Математическая логика: лекции для студентов-математиков НГУ
НГУ, 1973 г.
ISBN отсутствует
Ершов, Ю. Л.
Математическая логика: лекции для студентов-математиков НГУ
НГУ, 1973 г.
ISBN отсутствует
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
Книга
Фрейдзон, Р. И.
Математическая логика и ее приложения к электротехнике: учебное пособие
ЛЭТИ, 1980 г.
ISBN отсутствует
Фрейдзон, Р. И.
Математическая логика и ее приложения к электротехнике: учебное пособие
ЛЭТИ, 1980 г.
ISBN отсутствует
Книга
Математическая логика и математическая лингвистика: Межвузовский тематический сборник
Калининский государственный университет, 1981 г.
ISBN отсутствует
Математическая логика и математическая лингвистика: Межвузовский тематический сборник
Калининский государственный университет, 1981 г.
ISBN отсутствует
Книга
Математическая логика. Каталог зарубежных книг библиотеки Академии Наук СССР 1950-1971 гг.
БАН, 1974 г.
ISBN отсутствует
Математическая логика. Каталог зарубежных книг библиотеки Академии Наук СССР 1950-1971 гг.
БАН, 1974 г.
ISBN отсутствует
Книга
Фрейдзон, Р. И.
Методические указания к практическим занятиям по теме "Математическая логика"
ЛЭТИ, 1977 г.
ISBN отсутствует
Фрейдзон, Р. И.
Методические указания к практическим занятиям по теме "Математическая логика"
ЛЭТИ, 1977 г.
ISBN отсутствует
Книга
Методические указания по разделу "Элементы математической логики" (курс высшей математики)
1977 г.
ISBN отсутствует
Методические указания по разделу "Элементы математической логики" (курс высшей математики)
1977 г.
ISBN отсутствует
Книга
Методы математической логики в проблемах искусственного интеллекта и систематическое программиров...: тезисы докладов и сообщений всесоюзной конференции (Паланга, 3-5 сентября 1980 г.)
АН Литовской ССР, 1980 г.
ISBN отсутствует
Методы математической логики в проблемах искусственного интеллекта и систематическое программиров...: тезисы докладов и сообщений всесоюзной конференции (Паланга, 3-5 сентября 1980 г.)
АН Литовской ССР, 1980 г.
ISBN отсутствует
Книга
Методы математической логики в проблемах искусственного интеллекта и систематическое программиров...: тезисы докладов и сообщений всесоюзной конференции (Паланга, 3-5 сентября 1980 г.)
АН Литовской ССР, 1980 г.
ISBN отсутствует
Методы математической логики в проблемах искусственного интеллекта и систематическое программиров...: тезисы докладов и сообщений всесоюзной конференции (Паланга, 3-5 сентября 1980 г.)
АН Литовской ССР, 1980 г.
ISBN отсутствует
Книга
Генкин, Л.
О математической индукции
On mathematical induction
ISBN отсутствует
Генкин, Л.
О математической индукции
On mathematical induction
Серия: Математическая библиотечка
Физматгиз, 1962 г.ISBN отсутствует
Книга
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Grundlagen der Mathematik
Наука, 1979 г.
ISBN отсутствует
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Grundlagen der Mathematik
Наука, 1979 г.
ISBN отсутствует
Книга
Карри, Х.
Основания математической логики
Foundations of mathematical logic
Мир, 1969 г.
ISBN отсутствует
Карри, Х.
Основания математической логики
Foundations of mathematical logic
Мир, 1969 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основы теоретической логики
Grundzuge der Theoretischen Logik
Издательство иностранной литературы, 1947 г.
ISBN отсутствует
Гильберт, Д.
Основы теоретической логики
Grundzuge der Theoretischen Logik
Издательство иностранной литературы, 1947 г.
ISBN отсутствует
Книга
Применение методов математической логики: тезисы докладов 3-й Всесоюзной конференции, Таллин, 4-7 сентября 1983 г.
Бит, 1983 г.
ISBN отсутствует
Применение методов математической логики: тезисы докладов 3-й Всесоюзной конференции, Таллин, 4-7 сентября 1983 г.
Бит, 1983 г.
ISBN отсутствует
Книга
Применение методов математической логики. Секция "Представление знаний и синтез программ"
тезисы докладов IV всесоюзной конференции
АН Эстонской ССР, 1986 г.
ISBN отсутствует
Применение методов математической логики. Секция "Представление знаний и синтез программ"
тезисы докладов IV всесоюзной конференции
АН Эстонской ССР, 1986 г.
ISBN отсутствует
Книга
Проблемы конструктивного направления в математике. 4: Сборник работ
Наука - Ленинградское отделение, 1967 г.
ISBN отсутствует
Проблемы конструктивного направления в математике. 4: Сборник работ
Наука - Ленинградское отделение, 1967 г.
ISBN отсутствует
Книга
Проблемы математической логики. Сложность алгоритмов и вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Проблемы математической логики. Сложность алгоритмов и вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Книга
Заславский, И. Д.
Симметрическая конструктивная логика
АН Армянской ССР, 1978 г.
ISBN отсутствует
Заславский, И. Д.
Симметрическая конструктивная логика
АН Армянской ССР, 1978 г.
ISBN отсутствует
Многотомник
Справочная книга по математической логике: в 4-х частях
Handbook of mathematical logic
Наука, б.г.
ISBN отсутствует
Справочная книга по математической логике: в 4-х частях
Handbook of mathematical logic
Наука, б.г.
ISBN отсутствует
Книга
Теоретические применения методов математической логики. III: сборник работ
Наука - Ленинградское отделение, 1981 г.
ISBN отсутствует
Теоретические применения методов математической логики. III: сборник работ
Наука - Ленинградское отделение, 1981 г.
ISBN отсутствует
Книга
Теория логического вывода. Ч. II: Тезисы докладов Всесоюзного симпозиума, Москва, март 25-27, 1974 г.
Ин-т философии АН СССР, 1974 г.
ISBN отсутствует
Теория логического вывода. Ч. II: Тезисы докладов Всесоюзного симпозиума, Москва, март 25-27, 1974 г.
Ин-т философии АН СССР, 1974 г.
ISBN отсутствует