Duzi M. Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic / M. Duzi, B. Jespersen, P. Materna, 2010 r=on-line. - Текст : электронный.