"Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic (Logic, Epistemology, and the Unity of Science, 17) " - читать интересную книгу автора (Marie Duží, Bjorn Jespersen, Pavel Materna)