Основания математической логики
Название: Основания математической логики
Автор: Карри Х.
Издательство: Мир
Страниц: 568
Формат: DJVU
Размер: 6.33 Мб
Качество: Приемлемое
Язык: Русский
Год издания: 1969
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе.
Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12779 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Материаловедение на автомобильном транспорте
Автор: Колесник П.А. Год издания: 2007 Формат: djvu Издат.: Академия Страниц: 320 Размер: 6,6 Мб ISBN: 978-5-7695-3412-6 Язык: Русский В . . .
-
Машиностроение. Энциклопедический справочник. Том 1. Книга 1
Автор: Под ред. Чудакова Е.А. Год издания: 1947 Формат: djvu Издат.: МАШГИЗ Страниц: 548 Размер: 21,2 Мб Язык: Русский В первом томе справочн . . .
-
Проектирование радиопередающих устройств
Автор: Под ред. Шахгильдяна В.В. Год издания: 1976 Формат: djvu Издат.: Связь Страниц: 432 Размер: 5,5 Мб Язык: Русский Рассмотрены вопросы п . . .
-
Alexander The Great. His Armies and Campaigns 334-323 BC
Автор: Nick Sekunda, John Warry Год издания: 1998 Формат: pdf Издат.: Osprey Publishing Ltd Страниц: 144 Размер: 42,87 Язык: Английский После . . .
-
Радиолюбительский справочник
Автор: Под общ. ред. Линде Д.П. Год издания: 1966 Формат: djvu Издат.: Энергия Страниц: 376 Размер: 16,2 Мб Язык: Русский В справочнике корот . . .
-
Курсовое и дипломное проектирование по дорожно-строительным машинам
Автор: Абрамов Н.Н. Год издания: 1972 Формат: djvu Издат.: Высшая школа Страниц: 120 Размер: 3,3 Мб Язык: Русский В книге изложена методика к . . .
-
Потолки
Автор: С.С. Раимов Год издания: 2002 Формат: djvu Издат.: Диля Страниц: 160 Размер: 2,38 ISBN: 5-88503-136-3 Язык: Русский Все о потолках . . .
-
Armies of the German Peasants War 1524-1526
Автор: D.Miller Год издания: 2003 Формат: pdf Издат.: Osprey Страниц: 48 Размер: 21,69 Язык: Английский В 1520-х годах вспыхнула непродолжите . . .
-
Счастье без границ. Поиски настоящего смысла жизни
Согласно законам природы, невозможно быть по-настоящему счастливым, здоровым и успешным, если человек не знает и не имеет целей на год, пять лет и уж тем более, если он не знает своего предназначени . . .
-
Телефонное дело. Пособие для сержантского состава и курсантов учебных...
Автор: Жуков Д.П. Год издания: 1947 Формат: djvu Издат.: Воениздат МО СССР Страниц: 416 Размер: 11,7 Мб Язык: Русский В книге рассмотрены воп . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Основания математической логики. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.