Основания математики. Математическая логика

Список источников > Нехудожественная литература > Научная и техническая литература > Естественные науки > Физико-математические науки > Математика > Основания математики. Математическая логика
ABCDEFGHIJKLMNOPQRSTUVWXYZ
АБВГДЕЖЗИКЛМНОПРСТУФХЦЧШЩЭЮЯ0-9

В данном списке отображены только первые 30 книг. Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!

A Course in Mathematical Logic

Автор: J.L.Bell
Год: 2010
Издание: Москва

A Mathematical Introduction to Logic

Автор: Herbert Enderton
Год: 2010
Издание: Москва

Admissibility of Logical Inference Rules,136

Автор: V.V.Rybakov
Год: 2010
Издание: Москва

Logic and Discrete Mathematics: A Concise Introduction

Автор: Willem Conradie,Valentin Goranko
Год: 2015
Издание: Москва

Logic and Discrete Mathematics: A Concise Introduction, Solutions Manual

Автор: Willem Conradie,Valentin Goranko,Claudette Robinson
Год: 2015
Издание: Москва

Logica matematica: Capitulos complementarios

Автор: A.N.Kolmogorov, A.G.Dragalin
Год: 2013
Издание: [издательство не указано]

Logica matematica: Introduccion a la logica matematica

Автор: A.N.Kolmogorov, A.G.Dragalin
Год: 2014
Издание: [издательство не указано]

Mathematical Logic,4

Автор: R.O.Gandy
Год: 2010
Издание: Москва

А. А. Марков. Избранные труды. Том 2. Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы

Автор: Марков А.А.
Год: 2007
Издание: МЦНМО

Азбука математической логики

Автор: Мельников Г.П.
Год: 2016
Издание: Ленанд

Азбука математической логики

Автор: Мельников Г.П.
Год: 2014
Издание: [издательство не указано]

Алгебра логики

Автор: Кутюра Л.
Год: 2012
Издание: [издательство не указано]

Алгебра логики и алгебра Поста (Теория двузначных функций)

Автор: Малков М.А.
Год: 2012
Издание: [издательство не указано]

Алгоритмизация мышления. Геделевский аргумент

Автор: Целищев В.В.
Год: 2005
Издание: Параллель

Алгоритмическая теория обратимости операторов

Автор: Шурыгин В.А.
Год: 2010
Издание: [издательство не указано]

Алгоритмы вокруг нас

Автор: Криницкий Н.А.
Год: 1977
Издание: [издательство не указано]

Арифметика

Автор: Диофант
Год: 1974
Издание: Главная редакция физико-математической литературы издательства Наука

Введение в математическую логику

Автор: Колмогоров А.Н., Драгалин А.Г.
Год: 1982
Издание: Издательство МГУ

Введение в математическую логику

Автор: Мендельсон Э.
Год: 1971
Издание: Главная редакция физико-математической литературы издательства Наука

Введение в математическую логику. Том 1

Автор: Черч А.
Год: 2009
Издание: Либроком

Введение в метаматематику

Автор: Клини С.К.
Год: 2008
Издание: Либроком

Введение в теорию алгоритмов и структур данных.

Автор: Бабенко М.А., Левин М.В.
Год: 2014
Издание: МЦНМО

Введение в теорию моделей и математическую логику. Математическая логика и основания математики.

Автор: А.Робинсон
Год: 2012
Издание: [не указанo]

Величины и числа. Популярные очерки

Автор: Фридман Л.М.
Год: 2006
Издание: КомКнига

Вовеки неразрешимое. Путь к Геделю через занимательные загадки

Автор: Смаллиан Раймонд
Год: 2013
Издание: Канон+РООИ Реабилитация

Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования

Автор: Гастев Ю.А.
Год: 2009
Издание: [издательство не указано]

Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования

Автор: Гастев Ю.А.
Год: 1975
Издание: Наука

Доказательства и опровержения. Как доказываются теоремы

Автор: Лакатос И.
Год: 2010
Издание: [издательство не указано]

Естественные трехзначные логики. Функциональные свойства и отношения

Автор: Томова Н.Е.
Год: 2012
Издание: ИФРАН

Живая математика. Занимательная алгебра

Автор: Перельман Я.И.
Год: 1994
Издание: Тезис

В данном списке отображены только первые 30 книг. Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!

ABCDEFGHIJKLMNOPQRSTUVWXYZ
АБВГДЕЖЗИКЛМНОПРСТУФХЦЧШЩЭЮЯ0-9