Основания математической логики
Автор: Карри Х.
Год издания: 1969
Формат: djvu
Издат.: Мир
Страниц: 568
Размер: 6.33
Язык: Русский
Издание известного американского ученого посвящена детальному изучению главных терминов математической логики в настоящее время. Она включает общую теорию формальных систем и исчислений. После подробного рассмотрения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Отдельная глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12786 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Кэрролл Ли - Алхимия человеческого духа
Под «алхимией» автор этой книги, космическая духовная сущность по имени Крайон, подразумевает Новую Энергию, приходящую в последние годы на планету Земля. Это энергия, меняющая мировоззрение людей, а . . .
-
Медведева И.Б., Медведев А.Н. - Игра под названием Жизнь
Искусство быть счастливым, побеждать обстоятельства и понимать себя и других...Александр и Ирина Медведевы – широко известные в России и за рубежом авторы. Александр Медведев, которого на Западе назыв . . .
-
Знание и психофизическая проблема
Автор: Поппер Карл Раймунд Год издания: 2008 Формат: djvu Издат.: ЛКИ Страниц: 248 Размер: 3 Мб ISBN: 0-415-11504-3, 978-5-382-00541-6 Язык: Русск . . .
-
Лики модернизации в Болгарии в конце XIX - начале XX веков
Автор: Гришина Р.П. Год издания: 2008 Формат: pdf Издат.: Институт славяноведения РАН Страниц: 258 Размер: 5,33 Мб ISBN: 978-5-7575-0222-9 Язык: Р . . .
-
Герметическая космогония
Автор: Дионисий Фрейер, Якоб Беме, Джон Ди Год издания: 2001 Формат: pdf Издат.: Петербургское Востоковедение, Азбука Страниц: 352 Размер: 20,46 Мб ISBN:  . . .
-
Журнал Bikes & Beauties №12 2011
Название: Bikes & Beauties №12 2011 Издательство: Bikes & Beauties Номер: 12 Месяц / Год: 2011 Страниц: 48 Формат: -PDF Размер файла: -93 Мб Язык:  . . .
-
Святая гора Афон
Автор: Михайлов Е. Название: Святая гора АфонИздательство: Сибирская БлагозвонницаISBN: 978-5-91362-148-1Год: 2009Формат: pdfРазмер: 3 mbАфон - место паломничества многих и многих православных христи . . .
-
Раджниш Бхагаван Шри "Ошо" - О мужчинах
Все о современном мужчине. Необычный, откровенный портрет мужчины во многих его проявлениях. С неизменной точностью, хотя и не всегда лицеприятно, Ошо дает определение сильному полу в его эволюции от . . .
-
Платонов Олег - Под властью зверя (Аудиокнига)
Очередная книга из серии "Заговор против России" рассказывает о самом чудовищном злодеянии во всей всемирной истории, которое когда-либо было совершено против целого народа. Кучка еврейских большевико . . .
-
Платонов Олег - Государственная измена (Аудиокнига)
Смысл происходящего в нашей стране можно охарактеризовать двумя словами — государственная измена. Великая держава стала жертвой предательства ее правящего слоя, обменявшего национальные интересы стран . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Основания математической логики. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.