Robin Gandy
britischer Logiker