This book appears on the shelf Logic
The Power of Logical Thinking by Marilyn vos Savant
Godel, Escher, Bach by Douglas R. Hofstadter
An Introduction to Probability and Inductive Logic by Ian Ha...
Gdel's Proof by Douglas R. Hofstadter
The Logic Manual by Volker Halbach
Logic in Computer Science by Michael Huth