М.: Світ, 1969. — 568 с.
Книга американського вченого присвячена детальному вивченню основних понять математичної логіки на сучасному етапі. Вона містить загальну теорію формальних систем і обчислень. Після детального обговорення загальнометодологічними питань автор послідовно описує обчислення, містять импликацию, заперечення і квантори. Остання глава знайомить читача з деякими питаннями теорії модальностей. Послідовний конструктивний підхід характерний для всіх доказів і визначень. Книга розрахована на студентів, аспірантів і наукових працівників, що спеціалізуються в області математичної логіки, але вона, безумовно, доступна всім, хто цікавиться фундаментальними проблемами цього розділу математики. У військовий час актуальність товару уточнюйте за номером телефону.
Інформація для замовлення
- Ціна: 710 ₴


