Set Theory, Proofs and Logic

• The Advent of the Algorithm, by David Berlinski. Reviewed by Allen B. Downey
  
• Alfred Tarski: Life and Logic, by Anita Burdman Feferman and Solomon Feferman. Reviewed by Amy Shell-Gellasch
  
• Basic Set Theory, by Azriel Levy. Reviewed by Michael Berg
  
• Basic Set Theory, by A. Shen and N. K. Verschagin. Reviewed by Michael Berg
  
• Cogwheels of the Mind: The Story of Venn Diagrams, by A. W. F. Edwards. Reviewed by Darren Glass
  
• Conjecture and Proof, by Miklós Laczkovich. Reviewed by Michael Berg
  
• Conned Again, Watson: Cautionary Tales of Logic, Math, and Probability, by Colin Bruce. Reviewed by Daniel H. Cohen
  
• Conversations with a Mathematician, by Gregory J. Chaitin. Reviewed by Mark Johnson
  
• Discrete Algorithmic Mathematics, by Stephen B. Maurer and Anthony Ralston. Reviewed by Alex Bogomolny
  
• Essentials of Mathematics: Introduction to Theory, Proof, and the Professional Culture, by Margie Hale. Reviewed by Marion Cohen
  
• Experimentation in Mathematics: Computational Paths to Discovery, by Jonathan Borwein, David Bailey, and Roland Girgensohn. Reviewed by David P. Roberts
  
• A First Course in Mathematical Logic, by Patrick Suppes and Shirley A. Hill. Briefly noted.
  
• Gödel's Theorem: An Incomplete Guide to its Use and Abuse, by Torkel Franzén. Reviewed by Don Vestal
  
• The Importance of Being Fuzzy, by Arturo Sangalli. Reviewed by Mark Johnson
  
• Introduction to Mathematical Thinking: The Formation of Concepts in Modern Mathematics, by Friedrich Waismann. Reviewed by Marion Cohen
  
• Logic as Algebra, by Paul Halmos and Steven Givant. Reviewed by Mark Johnson
  
• Logic Made Easy: How to Know When Language Deceives You, by Deborah J. Bennett. Reviewed by Robert S. Wolf
  
• Mathematical Fallacies, Flaws, and Flimflam, by Edward J. Barbeau. Briefly noted.
  
• Mathematics by Experiment: Plausible Reasoning in the 21st Century, by Jonathan Borwein and David Bailey. Reviewed by David P. Roberts
  
• Meta Math! The Search for Omega, by Gregory Chaitin. Reviewed by Marion Cohen
  
• The Moment of Proof, by Donald C. Benson. Reviewed by Ed Sandifer
  
• The Pea and the Sun, by Leonard M. Wapner. Reviewed by David M. Bressoud
  
• A Primer of Abstract Mathematics, by Robert Ash, Reviewed by Steve Morics
  
• Proof, Logic, and Conjecture: The Mathematician's Toolbox, by Robert S. Wolf. Reviewed by Kenneth A. Ross
  
• Proofs and Fundamentals: A First Course in Abstract Mathematics, by Ethan D. Bloch. Reviewed by David P. Roberts
  
• Proofs from THE BOOK, by Martin Aigner and Günter M. Ziegler. Reviewed by Mary Shepherd
  
• Proofs Without Words II: More Exercises in Visual Thinking, by Roger B. Nelsen. Reviewed by Robert C. Stolz
  
• Reading, Writing, and Proving: A Closer Look at Mathematics, by Ulrich Daepp and Pamela Gorkin. Reviewed by Maria Fung
  
• Sets for Mathematics, by F. William Lawvere and Robert Rosebrugh. Reviewed by Michael Berg
  
• A Smoother Pebble: Mathematical Explorations, by Donald C. Benson. Reviewed by Ed Sandifer
  
• The Universal Computer: The Road from Leibniz to Turing, by Martin Davis. Reviewed by Mark Johnson
  
• Write Your Own Proofs: In Set Theory and Discrete Mathematics, by Amy Babich and Laura Person. Reviewed by James Hamblin