Поиск книг, содержащих Закон исключенного третьего :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Четвертый курс

square

Пятый курс

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Закон исключенного третьего

Книга	Страницы для поиска
Новиков П.С. — Конструктивная математическая логика с точки зрения классической	16, 73
Мендельсон Э. — Введение в математическую логику	10
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей	33
Куратовский К. — Топология (том 1)	9
Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров	12.8—6
Клини С. — Математическая логика	27, 234, 385
Дойч Д. — Структура реальности	236, 237
Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы	47
Куратовский К., Мостовский А. — Теория множеств	13
Эдельман С.Л. — Математическая логика	21
Яглом А.М., Яглом И.М. — Вероятность и информация.	64
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики	23
Никольская И.Л. — Математическая логика	30, 31
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах	250
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.	62, 71
Шиханович Ю.А. — Введение в современную математику. Начальные понятия	137
Мартин-Лёф П. — Очерки по конструктивной математике	94
Клайн М. — Математика. Утрата определенности	30, 211, 214
Гладкий А.В. — Математическая логика	105, 161
Гладкий А.В. — Введение в современную логику	11, 87
Попович Н.Г., Ковальчук А.В., Красовский Е.П. — Автоматизация производственных процессов и установок	43
Арнольд И.В. — Теоретическая арифметика	34, 36
Панов М.И. — Методические проблемы интуиционистской математики	4, 5, 14, 20, 35, 44—46, 63, 64, 66—70, 72—75, 77—79, 81, 88, 89
Корн Г.А., Корн Т.М. — Справочник по математике для ученых инженеров	12.8—6
Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров.	12.8—6
Корн Г.А., Корн Т.М. — Справочник по математике для научных работников и инженеров	12.8—6
Корн Г., Корн Т. — Справочник по математике (для научных работников и инженеров)	12.8—6
Бочаров В.А., Маркин В.И. — Основы логики	72
Асмус В.Ф. — Проблема интуиции в философии и математике	271, 272, 280
Клайн М. — Математика. Утрата определенности	30, 211, 214
Клини С.К. — Математическая логика	27, 234, 385
Яглом А.М., Яглом И.М. — Вероятность и информация	64
Яглом А.М., Яглом И.М. — Вероятность и информация	64
Мендельсон Э. — Введение в математическую логику	10
Андреева Е.В., Босова Л.Л., Фалина И.Н. — Математические основы информатики	165

О проекте