Brian Leonard Austen Dummett

January 3, 1943  -  February 3, 2017