Search code examples
discrete-mathematicsfirst-order-logic

First Order Logic for a complete newbie (book recommendations)?

I signed up for a class that I shouldn't have. So now I'm slightly screwed because I don't understand any of the notation used when my professor was explaining first order logic. I need some book suggestions as to how to re-learn all of these things. For example: I was confused as to what a "quantifier" is (I do know after Googling it). Any good books with plenty of examples? Thanks

Solution

  • Jon Barwise & John Etchemendy, The Language of First-Order Logic (CSLI Press, 1992) is great. A revised and expanded edition was released in 2002, titled Language, Proof and Logic.