I want to learn something about mathematical logic just for further analytical philosophy studying,then how far should I learn mathematical logic? Are there any study materials with great mathematical rigor about mathematical logic but demanding little elementary knowledge about algebra? If all materials demand elementary knowledge about algebra,then are there any materials for the self-teaching of these elementary knowledge about algebra?

  • 2
    Peter Smith has published a teach-yourself guide to logic on this website: logicmatters.net/tyl On the same site, you will find his own text book, An Introduction to Formal Logic, which is available for free download.
    – Bumble
    Oct 19, 2021 at 18:29
  • Introduction To Metamathematics by Stephen Cole Kleene.
    – Ajax
    Oct 23, 2021 at 13:29

1 Answer 1


A first course in mathematical logic and set theory by Michael L O'Leary is excelent to start learning mathematical logic.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .