Procedural semantics for hyperintensional logic Foundations and applications of transparent intensional logic - Duzi Marie; Jespersen Bjorn; Materna Pavel (New York Springer U.S.A, 2010)
Keywords: PHILOSOPHY