Martin Davis

• The Universal Computer
• Engines of Logic
• Il calcolatore universale
• Text and Materials on Housing Law
• A machine program for theorem-proving
• Applied Nonstandard Analysis
• Astrolocality Astrology
• Beating the Slots
• Ben Hogan
• Bobby Jones
• Byron Nelson
• Cartographic Analysis of Soviet Military City Plans