Дополняет предыдущую книгу "Элементы математической логики". Читается как самостоятельная книга. Подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. Рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в оригинальной и доступной форме. Доказательства основных утверждений приводятся во всех деталях. В последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Геделя о неполноте формальной арифметики.
Для широкого круга читателей, не требует специальной подготовки, полезна для лиц, Занимающихся исследованием математических аспектов конструктивной логики, может служить основой для спецкурсов.
С о д е р ж а н и е.
1. Классическая логика высказываний;
2. Конструктивная (интуиционистская) логика высказываний;
3. D-исчисление Геделя;
4. Исчисление предикатов;
5. Формализованная арифметика.
Дополнительно: ВНИМАНИЕ! В НАСТОЯЩЕЕ ВРЕМЯ ЗАКАЗЫ ОТ ПОКУПАТЕЛЕЙ ИЗ РФ и БЕЛАРУСИ НЕ ПРИНИМАЮ И НЕ ОТПРАВЛЯЮ В ЭТИ СТРАНЫ
Доставка ◆по всему миру ◆Укрпочтой или Новой почтой◆заказным отправлением ◆после полной предоплаты ◆по Украине Укрпочтой или Новой почтой - после оплаты
Способы оплаты ◆банковский перевод на карту Приватбанка (Украина)◆по международным системам д... [подробнее]
Дополнительно: При заказе от 3-х книг -- скидка от 3%.
При заказе от 6-ти книг -- скидка от 6%.
При заказе от 10-ти книг -- скидка от 10%.
Доставка "Почтой России" или "Яндексом": отправка со склада в течение 2х-3х дней!
Отправка другими транспортными компаниями в течение 4х дней.
Самовывоз в любой день.
Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *).
Фото -- до за... [подробнее]
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Фото книг в состоянии "новое", "как новое" и "отличное" не высылаю.
Встречи по договоренности исключаются.