Martin Davis | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Martin Davis | lit.salon

Martin Davis

No bio available. Add one in Open Library.

Books by Martin Davis (50 max)

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

2019

Samuel 1st Baron Sandys 1695-1770

2017

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

2018

Universal Computer

2018

Computability and Unsolvability

1958

Practical Injection Molding

2001

Bernie A. Olmsted, Martin Davis

Edwin 2nd Baron Sandys 1726-1797

2018

Extensions and corollaries of recent work on Hilbert's tenth problem.

1961

Computational Logic and Set Theory

2005

Jacob T. T. Schwartz, Martin Davis, Domenico Cantone, Eugenio G. Omodeo

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2012

First Course in Functional Analysis

2013

Much Ado about a Royal Visit

2017

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

2017

Mary Marchioness of Downshire and Baroness Sandys, 1764-1836

2020

Computability, Complexity, and Languages Fundamentals of Theoretical Computer Science

1994

Martin Davis, Ron Sigal, Elaine J. Weyuker

The Greatest of Them All

1996

Engines of Logic: Mathematicians and the Origin of the Computer

2001

Il calcolatore universale: da Leibniz a Turing

2003

Applied Nonstandard Analysis

2005

Three Little Mice at Ombersley Court

2017

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

2018

Handmaiden of the Sun Book Two - Resolution

2020

Ysbryd Sabrina

2021

Cartographic Analysis of Soviet Military City Plans

2021

Computability and Unsolvability (Information Processing)

1958

Computability and unsolvability

1958

Lecture Notes on Mathematical Logic

1959

Diophantine sets over polynomial rings

1961

A machine program for theorem-proving

1961

The Undecidable Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions

1965

Lectures on Modern Math

1967

A first course in functional analysis (Notes on mathematics and its applications)

1967

Correct-program technology/Extensibility of verifiers. Two papers on program verification.: By Martin Davis and J.T. Schwartz.

1977

Computability and Unsolvability

1985

Contract Law (Sourcebook)

1996

Byron Nelson: the story of golf's finest gentleman and the greatest winning streak in history : classic photos of the great Byron Nelson

1997

Bobby Jones: THE GREATEST OF THEM ALL (Classic Golf Champions)

1997

The Hogan Mystique (Classic Golf Champions)

1997

The World Golf Hall of Fame

1997

The 25 Greatest Achievements in Golf: The Best of the Best

1997

Byron Nelson

1997

The Players Championship: 25th Anniversary 1974-1998 Golf Tournament - Florida

1998

Astrolocality Astrology: A Guide to What It is and How to Use It

1999

The Universal Computer: The Road from Leibniz to Turing

2000

Martin Davis, Davis, Martin

Cases and Materials on Housing Law (Cases & Materials)

2000

How to Play Links Golf

2001

Traditions and tales of the Navy

2001

Beating the Slots

2002

Ben Hogan: the man behind the mystique

2002

Student Housing Rights Guide

2002