TY  - BOOK
AU  - Duzi Marie
AU  -  Jespersen Bjorn
AU  -  Materna Pavel
TI  - Procedural semantics for hyperintensional logic :  Foundations and applications of transparent intensional logic
SN  - 9789048188116 (hbk)
U1  - R1, Q0 
PY  - 2010///
CY  - New York
PB  - Springer U.S.A      
KW  - PHILOSOPHY
ER  -