Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It is a bit of strange that I haven't be trained on such a topic. It wouldn't influence my daily work but I would like to study some materials on my own.

So, dear fellows, you got any classic ref in your mind? I expect the material can cover logics commonly used in math proofs on a daily base.

Thank you in advance.

share|cite|improve this question
As a start, you might consider the tutorial that comes with my DC Proof software. Download it at – Dan Christensen Oct 7 '12 at 4:03
up vote 7 down vote accepted

The deductive reasoning "commonly used in math proofs on a daily base" is regimented by classical first-order logic. So that's where to start.

If you asked me to suggest just one book for beginners at logic with some mathematical background, then I think I would nowadays recommend the particularly accessible and well-written Ian Chiswell and Wilfrid Hodges, Mathematical Logic (OUP 2007) as the best starting point.

But different people with different backgrounds will like different books. As an introductory guide to just some of what is on offer, you'll find an annotated Teach Yourself Logic reading list/study guide at

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.