This appendix offers a comprehensive list of articles and books which Martin Davis has published till the present day, cross-referenced with a list of bibliographic entries regarding conference proceedings, paper collections, and books, to which he has contributed.
Our list does not include the many reviews written by Martin Davis, in particular the ones which have appeared on The Journal of Symbolic Logic.
