Guest
Login
Sign Up
Site settings
Forgot Password?
Основная семантика интуиционистской логики - семантика миров Крипке. Бонусом рассуждаем о многозначности логики, а также о способах построения других (неклассических) логик.
Autoplay video
Hide player controls
Hide resume playing