Vista normal
Vista MARC
Kooi, Barteld. author. (Nombre personal)
Machine generated authority record.
Work cat.: (UQROO)49310: Ditmarsch, Hans. author. 43095, Dynamic Epistemic Logic
Machine generated authority record.
Work cat.: (UQROO)49310: Ditmarsch, Hans. author. 43095, Dynamic Epistemic Logic