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

Список источников >Нехудожественная литература >Научная и техническая литература >Естественные науки >Физико-математические науки >Математика >Основания математики. Математическая логика
A | L | M

А | В | Г | Д | Е | Ж | З | И | К | Л | М | О | П | Р | С | Т | У | Ф | Ч | Э | *

В данном списке отображены только первые 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
Издание: МЦНМО

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

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

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

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

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

Автор: Кутюра Л.
Год: 2011
Издание: Либроком

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

Автор: Малков М. А.
Год: 2012
Издание: Математическая логика

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

Автор: Целищев В. В.
Год: 2005
Издание: [не указанo]

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

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

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

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

Арифметика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Автор: Лакатос И.
Год: 2010
Издание: ЛКИ

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

Автор: Томова Н. Е.
Год: 2012
Издание: [не указанo]

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

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

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

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

A | L | M

А | В | Г | Д | Е | Ж | З | И | К | Л | М | О | П | Р | С | Т | У | Ф | Ч | Э | *

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы