-- Code Warriors, Featuring a series of appendixes that explain the technical details of Soviet codes and how they were broken, this is a rich and riveting history of the underbelly of the Cold War, and an essential and timely read for all who seek to understand the origins of the modern NSA.

"The first major biography of the logician and mathematician whose incompleteness theorems helped launch a modern scientific revolution. Nearly a hundred years after its publication, Kurt Gödel's famous proof that every mathematical system must contain propositions that are true-yet never provable-continues to unsettle mathematics, philosophy, and computer science. Yet unlike Einstein, with whom he formed a warm and abiding friendship, Gödel has...

Discusses the interaction between people and horses, the horse as a social animal, its intelligence, abilities to communicate, athletic abilities, and physical evolution.