A Rubik's cube (Image credit: Duncan Hull)

When you think of the word logic, you probably think of doing fairly simple math problems in grade school that require only a limited amount of quick thinking in order to figure out how to solve them based on logical assumptions. However, there is a lot more to logic and proofs when it comes to college coursework.

In mathematics, logic is a major part of all disciplines, from the basic addition and subtraction to solving complex problems by using certain elements in them and logically coming up with a solution. A mathematical proof is a statement that something is true based on the assumptions that a separate statement is also true.

TopTenTopTen.comfrequently ranks different items within specific subject areas and has created a list of the top 10 “logic and proofs” college textbooks. These books explicitly explain the various concepts that are involved in logic problems and how to come up with mathematical proofs that are logically accurate:

1) Language, Proof and Logic by Jon Barwise, John Etchemendy, Gerard Allwein and Dave Barker-Plummer (1999 – Seven Bridges Press, LLC)

2) Proofs and Refutations: The Logic of Mathematical Discovery by Imre Lakatos, John Worrall and Elie Zahar (1976 – Cambridge University Press)

3) Set Theory: An Introduction to Independence Proofs by Ronald Cohn and Jesse Russell (2012 – VSD)

4) A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity [Oxford Texts In Logic] by Shawn Hedman (2004 – Oxford University Press)

5) The Structure of Proof: With Logic and Set Theory by Michael O’Leary (2002 – Prentice Hall)

6) Logical Foundations of Proof Complexity (Perspectives in Logic) by Stephen Cook and Phuong Nguyen (2010 – Cambridge University Press)

7) Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics) by S.R. Buss (1998 – Elsevier Science)

8) Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers by Bernd S.W. Schroder (2010 – Wiley)

9) Hybrid Logic and its Proof-Theory (Applied Logic Series) by Torben Brauner (2010 – Springer)

10) Proof, Logic, and Conjecture: The Mathematician’s Toolbox by Robert E. Wolf (1998 – W.H. Freeman)

If you are registered to take a math class in which you will probably be studying logic and doing proofs, you just might need one of these textbooks. Make sure to compare prices on them at Textbooks.org so that you can get the most reasonable price on a new, used, or rental textbook for your math class.