Kripke’s Worlds An Introduction to Modal Logics via Tableaux /

по Gasquet, Olivier, Herzig, Andreas, Said, Bilal, Schwarzentruber, François
Опубликовано в: Springer eBooks (2014)