000 00922nam a2200277Ia 4500
003 OSt
005 20221005092744.0
006 a|||||r|||| 00| 0
007 ta
008 221004b |||||||| |||| 00| 0 eng d
020 _a9789048188116 (hbk)
_c10800.32
024 _a106314
037 _b174, 15/03/2011, Aviva Book Company
_cTextual
040 _aCRL
_cCRL
_beng
041 _2eng
_aeng
082 _aR1, Q0
100 _aDuzi Marie
_9617737
245 0 _aProcedural semantics for hyperintensional logic
_b Foundations and applications of transparent intensional logic
260 _aNew York
_bSpringer U.S.A
_c2010
300 _axiii, 552p.
_ccm.
650 _aPHILOSOPHY
700 _a Jespersen Bjorn
_9617738
700 _a Materna Pavel
_9617739
942 _hR1, Q0
_cTEXL
_2cc
999 _c999338
_d999338