Martin Davis: 23 books

This introduction to functional analysis is based on the lecture notes of Martin Davis, a distinguished professor of mathematics. The treatment demonstrates the essential unity of mathematics without assuming more background than can be expected of advanced undergraduates and graduate students majoring...

Geared toward upper-level undergraduates and graduate students, this text explores the applications of nonstandard analysis without assuming any knowledge of mathematical logic. It develops the key techniques of nonstandard analysis at the outset from a single, powerful construction; then, beginning...

This book presents the little-studied story of the history and documents of the pardons, passes, paroles and promises of loyalty used by both North and South. The words of the loyalty oaths required for passes, paroles and pardons grew over time from a few simple lines to several paragraphs. Conditions...

The Texas land grants were one of the largest public land distributions in American history. Induced by titles and estates, Spanish adventurers ventured into the frontier, followed by traders and artisans. West Texas was described as “Great Space of Land Unknown” and Spanish sovereigns wanted...

"A clearly written, well-presented survey of an intriguing subject." — Scientific American. Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory,...

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars...

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians.  

What might we run into as we expand beyond Earth and into the stars?  As we explore our own solar system and beyond, it seems inevitable that we’ll run into aliens … and what they’ve left behind.  Alien artifacts:  what might they reveal about us as we try to unlock their secrets? ...

During their combined 40 years in Congress, Martin Frost and Tom Davis were the field generals for their respective parties, each serving two terms as chair of the Democratic and Republican House Campaign Committees, respectively. Now they have joined forces—along with columnist Richard Cohen—in...

How many of us have to die at the hands of our own people before we say enough is enough to black-on-black violence? How long will we continue on this path of self-destruction? How long will we continue to live our lives in a position of weakness and ignorance? In Are We There Yet?, author...

SOMETIMES THE JOURNEY IS MORE IMPORTANT THAN THE DESTINATION. A stone from the stars rips a royal family apart, in a new tale from the banished lands. Weary hero Cam rides to the aid of his dying king, bearing the elixir that may save him. A party of reluctant adventurers pursues a troll across...

(Piano/Vocal/Guitar Artist Songbook). Our P/V/G folio matches the compilation of swinging smash hits from Frank Sinatra, Dean Martin and Sammy Davis Jr. Contains 18 tunes from their heyday: Ain't That a Kick in the Head * The Birth of the Blues * Come Fly with Me * Everybody Loves Somebody * I've Got...

The clever peasant Arnaud du Tilh had almost won his case, when a man with a wooden leg swaggered into the French courtroom, denounced du TiIh, and reestablished his claim to the identity, property, and wife of Martin Guerre. This book, by the noted historian who served as a consultant for the film, adds new dimensions to this famous legend.

Research and advocacy aimed at understanding and ending violence against women had its beginning in the early 1970s, emerging as a central concern of the feminist movement. This work has expanded exponentially over the past three decades to influence practice and policy at the local, state, and federal...