John Crossley — British-Australian mathematician and logician