В первой половине этой книги, дает детальный лечения начальной семантики (т. е. определение удовлетворенности) и доказательства теории (т. е. полноты теоремы) первого порядка интуиционистской логики в едином лечения, основанные на работе Бет, Гжегорчиком (Зю), Hintikka, Клини, Крипке, Шютте, Smullyan, Томасон и автор. Во второй половине, Автор создает модели интуиционистской из Zermelo-Френкеля теории множеств (ЗФ)
Read more at https://ebookee.org/Intuitionistic-logic-model-theory-and-forcing-Studies-in-logic-and-the-foundations-of-mathematics-by-Melvin-Fitting_1019964.html#wISoRi95BVmXKPOK.99