Bactra Review
Quine's Mathematical Logic
The connection between logic and computers is laid out in Larry Gonick's The Cartoon Guide to Computer Science (New York: Barnes & Noble, 1983; reprinted as The Cartoon Guide to the Computer, by HarperPerennial, 1991) in a manner adapted to the meanest understanding.