38 Топологическая семантика Int

Топологическая семантика интуиционистской логики, Корректность и полнота вывода в Int относительно данной семантики, Взаимосвязь с Int и S4 через топологические модели. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: