Normal view
MARC view
Ditmarsch Hans Van (Personal Name)
Machine generated authority record.
Work cat.: (OSt)950627: Ditmarsch Hans Van, Dynamic epistemic logic, 2007