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