[SIGCIS-Members] Martin Davis correspondence

Dear SIGCIS members, I'm interested in the correspondence between the late Martin Davis and Edward F. Moore in the 1950s. I have read about the last year's auction of Davis's personal files. Does anybody know if they are available for research? Best, David -- https://www.davidnofre.com/ https://orcid.org/0000-0002-3580-7264