Education
Victoria University of Wellington.
Victoria University of Wellington.
His academic genealogy can be traced back to Leibniz. One of his most popular books is He was a Coordinating Editor of The Journal of Symbolic Logic. He is a Managing Editor of Studia Logica.
He was elected Fellow and Councillor of the Royal Society of New Zealand, President of the New Zealand Mathematical Society, and represented New Zealand to the International Mathematical Union.