1 paper
Wesley Calvert, Valentina Harizanov, Eugenio G. Omodeo +2
The present paper gives an account for the general mathematical reader of the life and work of Martin Davis. Since two rather comprehensive autobiographical accounts and two long b…