Интуиционистская логика

В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуи-ционистской логики в виде исчисления Гейтинга, псевдобулевы ал-гебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем.