Hans Pieter van Ditmarsch (Q102213618)
Dutch logician
Language: