Martin Davis’s Bibliography 1950–2015