Browse by Catagory:
 Kindle Books
 Bargain
 Large Print Books
 Art
 Amazon Shorts
 Audiocassettes
 Audio Books
 Current Events
 Business
 Cooking
 Home & Garden
 Literature & Fiction
 Nonfiction
 Education
 Technical
 Sheet Music & Scores
 Romance
 Law
 Water Supply & Land Use
 Lawyer and Crimal Humor
 Divorce
 Astrology
 Sports
 Outdoors & Nature
 Hiking & Camping
 Camping
 Hunting & Fishing
 Beer & Beer Making
 Wine
 Health & Fitness
 Yoga
 Pilates
 Diets & Weight Loss
 Lo Carb
 SelfHelp Humor
 Parodies
 Dating
 Children's
 Children's Science & Nature
 Harry Potter
 Dr. Seuss
 Teens
 Aging
 Anatomy
 Health
 Women's Health
 Vitamins & Supplements
 Healthy Living
 Psychology and Counseling
 Reference
 Math
 Science
 Medicine
 Field Guides
 Animals
 Insects & Spiders
 Pets
 Cats
 Dogs
 Fish & Aquariums
 Recycling
 Woodworking
 Toy Making
 Soap Making
 O'Reilly
 Computers/Internet
 Entertainment
 History
 State & Local History
 Railroads
 Mystery
 Religion
 Home Design
 Travel
 ebooks
 Women's Fiction
 Calendars
 Biographies
 Sequoia
 Yellowstone
 Yosemite
 SciFi/Fantasy
 Adams, Douglas
 Aldrin, Buzz
 Anderson, Poul
 Anthony, Piers
 Bova, Ben
 Bujold, Lois McMaster
 Card, Orson Scott
 Chalker, Jack L.
 Harrison, Harry
 Heinlein, Robert A.
 McCaffrey, Anne
 McKillip, Patricia A.
 Niven, Larry
 Norton, Andre
 Nye, Jody Lynn
 Sheffield, Charles
 Zelazny, Roger
 Teens

Books
Logic
Can You Solve My Problems?: Ingenious, Perplexing, and Totally Satisfying Math and Logic Puzzles
Lowest new price: $10.60
Lowest used price: $10.08
List price: $15.95
Author: Alex Bellos
Brand: EXPERIMENT

Puzzle lovers, rejoice!
Bestselling math writer Alex Bellos has a challenge for you: 125 of the world’s best brainteasers from the last two millennia.
Armed with logic alone, you’ll detect counterfeit coins, navigate river crossings, and untangle family trees. Then—with just a dash of high school math—you’ll tie a rope around the Earth, match wits with a cryptic wizard, and use four 4s to create every number from 1 to 50. (It can be done!)
The ultimate casebook for daring puzzlers, Can You Solve My Problems? also tells the story of the puzzle—from ancient China to Victorian England to modernday Japan. Grab your pencil and get puzzling!
Features:
Similar Products:


Language, Proof and Logic, 2nd Edition
Lowest new price: $73.28
Lowest used price: $5.70
List price: $80.00
Author: David BarkerPlummer
Brand: imusti

Language Proof and Logic is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The allelectronic version is available from Openproof at ggweb.stanford.edu.
The textbook/software package covers firstorder language in a method appropriate for first and second courses in logic. An online grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to undergraduates in philosophy, computer science, mathematics, and linguistics.
Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.
The software package includes four programs:
Tarski's World 5.0, a new version of the popular program that teaches the basic firstorder language and its semantics;
Fitch, a natural deduction proof environment for giving and checking firstorder proofs;
Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);
Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.
Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.
The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.
Features:
Similar Products:


Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Lowest new price: $44.98
Lowest used price: $157.36
List price: $44.99
Author: Leslie Lamport

This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a system  what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a minimanual.
Similar Products:


Descartes' Error: Emotion, Reason, and the Human Brain
Lowest new price: $8.90
Lowest used price: $4.70
List price: $18.00
Author: Anthony Damasio
Brand: Antonio Damasio

Since Descartes famously proclaimed, "I think, therefore I am," science has often overlooked emotions as the source of a person’s true being. Even modern neuroscience has tended, until recently, to concentrate on the cognitive aspects of brain function, disregarding emotions. This attitude began to change with the publication of Descartes’ Error in 1995. Antonio Damasio—"one of the world’s leading neurologists" (The New York Times)—challenged traditional ideas about the connection between emotions and rationality. In this wondrously engaging book, Damasio takes the reader on a journey of scientific discovery through a series of case studies, demonstrating what many of us have long suspected: emotions are not a luxury, they are essential to rational thinking and to normal social behavior.
Features:
 Descartes Error Emotion Reason and the Human Brain
Similar Products:
 The Feeling of What Happens: Body and Emotion in the Making of Consciousness
 Self Comes to Mind: Constructing the Conscious Brain
 Looking for Spinoza: Joy, Sorrow, and the Feeling Brain
 The Emotional Brain: The Mysterious Underpinnings of Emotional Life
 Fundamental Neuroscience for Basic and Clinical Applications: with STUDENT CONSULT Online Access, 4e (Haines,Fundamental Neuroscience for Basic and Clinical Applications)
 Synaptic Self: How Our Brains Become Who We Are
 Damasio's Error and Descartes' Truth: An Inquiry into Consciousness, Metaphysics, and Epistemology
 Neuroanatomy in Clinical Context: An Atlas of Structures, Sections, Systems, and Syndromes (Neuroanatomy: An Atlas of Strutures, Sections, and Systems ()
 BRS Neuroanatomy (Board Review Series)
 The TellTale Brain: A Neuroscientist's Quest for What Makes Us Human


Schaum's Outline of Logic, Second Edition (Schaum's Outlines)
Lowest new price: $7.47
Lowest used price: $3.49
List price: $22.00
Author: John Nolt
Brand: imusti

The ideal review for your logic course More than 40 million students have trusted Schaum’s Outlines for their expert knowledge and helpful solved problems. Written by renowned experts in their respective fields, Schaum’s Outlines cover everything from math to science, nursing to language. The main feature for all these books is the solved problems. Stepbystep, authors walk readers through coming up with solutions to exercises in their topic of choice.  500 solved problems
 Includes nonclassical logics
 Covers the probability calculus
 Complements or supplements the major Logic textbooks
 Appropriate for the following courses: Introduction to Formal Logic, Informal Logic, Logic Programming, Algebra
 Complete course content in easytofollow outline form
 Hundreds of solved problems for effective test preparation
Features:
Similar Products:


What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles (Dover Recreational Math)
Lowest new price: $8.74
Lowest used price: $2.99
List price: $14.95
Author: Raymond M. Smullyan
Brand: Dover Publications

"The most original, most profound, and most humorous collection of recreational logic and math problems ever written." — Martin Gardner, Scientific American "The value of the book lies in the wealth of ingenious puzzles. They afford amusement, vigorous exercise, and instruction." — Willard Van Orman Quine, The New York Times Book Review If you're intrigued by puzzles and paradoxes, these 200 mindbending logic puzzles, riddles, and diversions will thrill you with challenges to your powers of reason and common sense. Raymond M. Smullyan — a celebrated mathematician, logician, magician, and author — presents a logical labyrinth of more than 200 increasingly complex problems. The puzzles delve into Gödel's undecidability theorem and other examples of the deepest paradoxes of logic and set theory. Detailed solutions follow each puzzle.
Features:
 Used Book in Good Condition
Similar Products:


Gödel's Proof
Lowest new price: $8.93
Lowest used price: $6.61
List price: $13.95
Author: Ernest Nagel
Brand: Ernest Nagel

In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences—perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times." However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and nonspecialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject. Marking the 50th anniversary of the original publication of Gödel's Proof, New York University Press is proud to publish this special anniversary edition of one of its bestselling and most frequently translated books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.
Gödel's incompleteness theoremwhich showed that any robust mathematical system contains statements that are true yet unprovable within the systemis an anomaly in 20thcentury mathematics. Its conclusions are as strange as they are profound, but, unlike other recent theorems of comparable importance, grasping the main steps of the proof requires little more than high school algebra and a bit of patience. Ernest Nagel and James Newman's original text was one of the first (and best) to bring Gödel's ideas to a mass audience. With brevity and clarity, the volume described the historical context that made Gödel's theorem so paradigmshattering. Where the first edition fell down, however, was in the guts of the proof itself; the brevity that served so well in defining the problem made their rendering of Gödel's solution so dense as to be nearly indigestible. This reissuance of Nagel and Newman's classic has been vastly improved by the deft editing of Douglas Hofstadter, a protégé of Nagel's and himself a popularizer of Gödel's work. In the second edition, Hofstadter reworks significant sections of the book, clarifying and correcting here, adding necessary detail there. In the few instances in which his writing diverges from the spirit of the original, it is to emphasize the interplay between formal mathematical deduction and metamathematical reasoninga subject explored in greater depth in Hofstadter's other delightful writings. Clark WilliamsDerry
Features:
Similar Products:


The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Lowest new price: $16.82
Lowest used price: $12.00
List price: $29.99
Author: Charles Petzold
Brand: Petzold Charles

Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of presentday computer programming. The book expands Turing’s original 36page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing’s statements, making the original difficulttoread document accessible to present day programmers, computer science majors, math geeks, and others. Interwoven into the narrative are the highlights of Turing’s own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.
Features:
 The Annotated Turing A Guided Tour Through Alan Turing s Historic Paper on Computability and the Turing Machine
Similar Products:


It's Hard To Be a Russian Spy: The Great Collection Of Riddles & Brain Teasers From The Final Examination of Soviet and Russian Spies (Brain Teaser Puzzles for Adults)
Lowest new price: $9.99
Lowest used price: $7.98
List price: $9.99
Author: Igor Suvorov

There’s training to be an Olympic Athlete. Then there is training to a Russian Spy. Both extremely difficult and a much esteemed percentage of people around the world get to be picked for it. But there is no shadow of doubt which of these requires a person to be literally Jack of all trades  smart, cunning, highly intelligent, resilient and the perfect mix of brains and brawns. There is an aura of mysticism surrounding Spies and very few people have told the tale of where it all began in the training room. Put together by means that better remain cloaked, or perhaps a story for another time, author Igor Suvorov brings you a choice collection of fifty riddles and brain teasers that these Soviet and Russian spies had to clear in order to be deemed fit to be released to the field. Anyone can solve a riddle, but these are the riddles that only as few as 4% of untrained people will be able to solve! As if that is not good enough, the person taking the exam has to clear 94% of all the presented questions. This is the holy grail of all spy brain teasers, a book that you can keep your brain sharp with, a tool with which you can spend endless hours poring over. Have you go what it takes? Time to find out! It's not just hard to be a Russian Spy; it’s VERY hard and only the sharpest mind will be one.
Similar Products:


How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics
Lowest new price: $9.11
Lowest used price: $1.99
List price: $16.99
Author: Eugenia Cheng
Brand: Eugenia Cheng

"Whimsical...rigorous and insightful."  New York Times Book Review
What is math? How exactly does it work? And what do three siblings trying to share a cake have to do with it? In How to Bake Pi, math professor Eugenia Cheng provides an accessible introduction to the logic and beauty of mathematics, powered, unexpectedly, by insights from the kitchen. We learn how the béchamel in a lasagna can be a lot like the number five, and why making a good custard proves that math is easy but life is hard. At the heart of it all is Cheng's work on category theory, a cuttingedge "mathematics of mathematics," that is about figuring out how math works.
Combined with her infectious enthusiasm for cooking and true zest for life, Cheng's perspective on math is a funny journey through a vast territory no popular book on math has explored before. So, what is math? Let's look for the answer in the kitchen.
Features:
 How to Bake Pi An Edible Exploration of the Mathematics of Mathematics
Similar Products:


