|
В данном списке отображены только первые 30 книг.
Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!
|
В данном списке отображены только первые 30 книг.
Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!
|
|
A Course in Mathematical Logic
Автор: J.L. Bell
Год: 2010
Издание: [не указанo]
|
A Mathematical Introduction to Logic
Автор: Herbert Enderton
Год: 2010
Издание: [не указанo]
|
|
Admissibility of Logical Inference Rules,136
Автор: V.V. Rybakov
Год: 2010
Издание: [не указанo]
|
Logic and Discrete Mathematics: A Concise Introduction
Автор: Willem Conradie,Valentin Goranko
Год: 2015
Издание: [не указанo]
|
|
Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual
Автор: Willem Conradie,Valentin Goranko,Claudette Robinson
Год: 2015
Издание: [не указанo]
|
Logica matematica: Capitulos complementarios
Автор: A. N. Kolmogorov, A. G. Dragalin
Год: 2013
Издание: [не указанo]
|
|
Logica matematica: Introduccion a la logica matematica
Автор: A. N. Kolmogorov, A. G. Dragalin
Год: 2014
Издание: [не указанo]
|
Mathematical Logic,4
Автор: R.O. Gandy
Год: 2010
Издание: [не указанo]
|
|
А. А. Марков. Избранные труды. Том 2. Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы
Автор: Марков А. А.
Год: 2007
Издание: МЦНМО
|
Азбука математической логики
Автор: Мельников Г. П.
Год: 2014
Издание: [не указанo]
|
|
Азбука математической логики
Автор: Мельников Г. П.
Год: 2016
Издание: Ленанд
|
Алгебра логики
Автор: Кутюра Л.
Год: 2012
Издание: [не указанo]
|
|
Алгебра логики и алгебра Поста (Теория двузначных функций)
Автор: Малков М.А.
Год: 2012
Издание: [не указанo]
|
Алгоритмизация мышления. Геделевский аргумент
Автор: Целищев В. В.
Год: 2005
Издание: Параллель
|
|
Алгоритмическая теория обратимости операторов
Автор: Шурыгин В.А.
Год: 2010
Издание: [не указанo]
|
Алгоритмы вокруг нас
Автор: Криницкий Н. А.
Год: 1977
Издание: [не указанo]
|
|
Арифметика
Автор: Диофант
Год: 1974
Издание: Главная редакция физико-математической литературы издательства "Наука"
|
Введение в математическую логику
Автор: Колмогоров А. Н., Драгалин А. Г.
Год: 1982
Издание: Издательство МГУ
|
|
Введение в математическую логику
Автор: Мендельсон Э.
Год: 1971
Издание: Главная редакция физико-математической литературы издательства "Наука"
|
Введение в математическую логику. Том 1
Автор: Черч А.
Год: 2009
Издание: Либроком
|
|
Введение в метаматематику
Автор: Клини С. К.
Год: 2008
Издание: Либроком
|
Введение в теорию алгоритмов и структур данных.
Автор: Бабенко М. А., Левин М. В.
Год: 2014
Издание: МЦНМО
|
|
Введение в теорию моделей и математическую логику. Математическая логика и основания математики.
Автор: А.Робинсон
Год: 2012
Издание: [не указанo]
|
Величины и числа. Популярные очерки
Автор: Фридман Л. М.
Год: 2006
Издание: КомКнига
|
|
Вовеки неразрешимое. Путь к Геделю через занимательные загадки
Автор: Смаллиан Раймонд
Год: 2013
Издание: Канон+РООИ "Реабилитация"
|
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
Автор: Гастев Ю.А.
Год: 2009
Издание: [не указанo]
|
|
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
Автор: Гастев Ю. А.
Год: 1975
Издание: Наука
|
Доказательства и опровержения. Как доказываются теоремы
Автор: Лакатос И.
Год: 2010
Издание: [не указанo]
|
|
Естественные трехзначные логики. Функциональные свойства и отношения
Автор: Томова Н. Е.
Год: 2012
Издание: ИФРАН
|
Живая математика. Занимательная алгебра
Автор: Перельман Я. И.
Год: 1994
Издание: Тезис
|
|
В данном списке отображены только первые 30 книг.
Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!
|
В данном списке отображены только первые 30 книг.
Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!
|
