TY  - BOOK
AU  - Duzi,Marie
AU  - Jespersen,Bjorn
AU  - Materna,Pavel
ED  - SpringerLink (Online service)
TI  - Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic 
SN  - 9789048188123 (electronic bk.)
AV  - P39 .D89 2010
U1  - 401.43 22
PY  - 2010///
CY  - Dordrecht
PB  - Springer Science+Business Media B.V.
KW  - Language and logic
KW  - Philosophy
KW  - Logic
KW  - Semantics
KW  - Coding and Information Theory
KW  - Philosophy of Language
KW  - Ontology
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-90-481-8812-3
ER  -