000 01639nam a2200445 a 4500
005 20250918124747.0
006 m d
007 cr nn 008maaau
008 101230s2010 ne s j eng d
020 _a9789048188123 (electronic bk.)
020 _a9789048188116 (paper)
035 _a(Springer)978-90-481-8811-6
039 9 _y12-30-2010
_zmuhaimin
050 0 4 _aP39
_b.D89 2010
082 0 4 _a401.43
_222
090 _aP39
_b.D988 2010
100 1 _aDuzi, Marie.
245 1 0 _aProcedural semantics for hyperintensional logic
_h[electronic resource] :
_bfoundations and applications of transparent intensional logic /
_cby Marie Duzi, Bjorn Jespersen, Pavel Materna.
260 _aDordrecht :
_bSpringer Science+Business Media B.V.,
_c2010.
300 _axiii, 552 p. :
_bill., digital ;
_c24 cm.
440 0 _aLogic, epistemology, and the unity of science ;
_vv.17
650 0 _aLanguage and logic.
650 1 4 _aPhilosophy.
650 2 4 _aLogic.
650 2 4 _aSemantics.
650 2 4 _aCoding and Information Theory.
650 2 4 _aPhilosophy of Language.
650 2 4 _aOntology.
700 1 _aJespersen, Bjorn.
700 1 _aMaterna, Pavel.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-90-481-8812-3
907 _a.b14898470
_b2023-12-04
_c2019-11-12
942 _n0
_kP39 .D988 2010
914 _avtls003451589
998 _ae0001
_b2010-04-12
_cm
_da
_feng
_gne
_y0
_z.b14898470
999 _c476407
_d476407