Books by Martin Davis

Trixie Treat is still only fifteen years old. But suddenly, all kinds of interesting people are trying to kill her. People inside her school. People outside her school. And one particularly large being who inhabits its own substantial space in our galaxy, but who isn't too keen on following the rules of the "game" Trixie is forced to play. The stars have set a Task for Trixie. Evidently, not everyone wants her to complete it. As the story accelerates towards its cataclysmic conclusion, the friends helping her are increasingly in danger. Her family is in danger (the intervention of highly-paid assassins being a distinct possibility). And if she can't deliver when it counts, a whole lot of other people are in danger too. Plus, she has a life of her own to lead. And the fact that she has to spend all this time on Conflict, Plotting and just generally Staying-Alive is really, really beginning to annoy her!!

Trixie Treat is fifteen years old and realises that she is privileged. Big house. Posh school. Nice family. Oh ... and the small matter of being able to hear the stars talking; although she has never told anyone about this and can't actually understand what the astral giants are saying - yet. When she finds out, she's going to be mildly horrified. Because she's also going to discover who she really is, what she really has to do, who she's going up against - and what's at stake if she fails.

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.

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.

How do today's computers perform such a wide variety of tasks? Davis illustrates how the answer lies in the fact that computers are essentially engines of logic. Their hardware and software embodies concepts developed by logicians sugh as Gottfried Leibniz, Kurt Godel and Alan Turing.

Welcome to the updated version of Astrolocality Astrology. Since the original version was published, the world has shrunk and computer software has dramatically improved. This revised edition includes the fascinating case histories of Edward Snowden and Ronnie Biggs, and it is also organised in a more reader-friendly format. Enjoy.

From a "conductor" who assisted runaway slaves in their flight to freedom, here is a collection of letters, newspaper articles, and firsthand accounts about refugees' narrow escapes and deadly struggles. Over 50 illustrations.