I think, therefore i laugh (Columbia University Press)

The preeminent explicator of mathematical logic to non-mathematicians, John Allen Paulos is familiar to general readers not only from his bestselling books but also from his media appearances, including The David Letterman Show and National Public Radio's "Talk of the Nation" and "Science Friday," as well as articles in Newsweek, Nature, Discover, Business Week, the New York Times Book Review, The Nation, New York Review of Books, and The London Review of Books. Paulos originally wrote this charming little book on analytic logic, its mathematics, and its puzzles in 1985. And as in his later books, he uses jokes, stories, parables, and anecdotes to elucidate difficult concepts, in this case, some of the fundamental problems in modern philosophy.