Martin Davis

Il calcolatore universale

Cartographic Analysis of Soviet Military City Plans

Handmaiden of The Sun

From Linear Operators to Computational Biology

Student Housing and the Law

Applied Nonstandard Analysis

Text and Materials on Housing Law

The Undecidable

Rube Goldberg on Golf

Dolly Varden, Ohio

Beating the Slots

Engines of Logic

How to Play Links Golf

The Universal Computer

Astrolocality Astrology

The World Golf Hall of Fame

The 25 Greatest Achievements in Golf

Bobby Jones

The Hogan Mystique (Classic Golf Champions)

The greatest of them all

Contract Law (Sourcebook)

Computability and Unsolvability

Arnold Palmer

Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem

Richard Michael Oliver 7th Baron Sandys

Arthur FitzGerald Sandys Hill 6th Baron Sandys 1876-1961

Mary Marchioness of Downshire and Baroness Sandys, 1764-1836

Set up Your Own Bucket Aeroponics Garden at Home

Michael Edwin Marcus 5th Baron Sandys, 1855-1948

Set up Your Own Bucket Hydroponics Garden at Home

Set up Your Own Aeroponics Garden at Home

Arthur Marcus Cecil Hill 3rd Baron Sandys 1798-1863

On Tresco

Arthur Marcus Cecil Hill 3rd Baron Sandys of the Second Creation 1798-1863

Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz

Universal Computer

Christian Doctrine of God

Augustus Frederick Arthur, 4th Baron Sandys of the Second Creation, 1840-1904

King and the Kingdom

Arthur Moyses William Hill 2nd Baron Sandys of the Second Creation 1792-1860

Edwin 2nd Baron Sandys 1726-1797

Samuel 1st Baron Sandys 1695-1770

Machine Program for Theorem-Proving

Much Ado about a Royal Visit

Three Little Mice at Ombersley Court

Notes in the Slow Lane

Gospel and the Twelve Steps

The Ryder Cup

Computational Logic and Set Theory

WriterMD

Practical Injection Molding