"Transparent Intensional Logic: A Challenge"@en . . . . "The paper presents a brief survey of history and philosophical background of Transparent Intensional logic (TIL) together with a characteristic of its structure."@en . . "1"^^ . . . . "1"^^ . . . . . "174961" . "27"^^ . . "London" . . "000310176300012" . "[934F436AE637]" . "College Publications" . . "Transparent Intensional Logic: A Challenge" . "Materna, Pavel" . . . "RIV/67985955:_____/12:00379954" . "978-1-84890-071-4" . . "RIV/67985955:_____/12:00379954!RIV13-GA0-67985955" . "2011-06-20+02:00"^^ . "I, P(GAP401/10/0792), P(GAP401/10/1279)" . "The Logica Yearbook 2011" . "Transparent Intensional Logic: A Challenge"@en . . "TIL; hierarchy of types; procedural isomorphism"@en . "Hejnice" . "The paper presents a brief survey of history and philosophical background of Transparent Intensional logic (TIL) together with a characteristic of its structure." . . "Transparent Intensional Logic: A Challenge" .