LEADER 01179nam0-2200433---450-
001 990008586990403321
005 20081110162247.0
010   $a978-1-4020-5838-7$brilegato
010   $a9781402069086$bbrossura
035   $a000858699
035   $aFED01000858699
035   $a(Aleph)000858699FED01
035   $a000858699
100   $a20071121d2007----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa-------001yy
200 1 $aDynamic epistemic logic$fHans van Ditmarsch, Wieve van der Hoek, Barteld Kooi
210   $aDordrecht$cSpringer$dc2007
215   $axi, 282 p.$cill.$d24 cm
225 1 $aSynthese library$v337
610 0 $aLogica
610 0 $aLogica
610 0 $aRicorsività
676   $a121$v22
700  1$aDitmarsch,$bHans : van$0307524
701  1$aHoek,$bWiebe : van der$0307525
702  1$aKooi,$bBarteld
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008586990403321
952   $aC-25-(337$b22147$fMA1
952   $a7-317$bD.S.F. 9091$fFI1
959   $aMA1
959   $aFI1
962   $a03B48
962   $a03B70
996   $aDynamic epistemic logic$9710366
997   $aUNINA