Hey so I am doing a grad course on logic and skipping the undergrad introductory course. My friends have said that I will be fine but I want to get a head start and read some of what I missed in the undergrad class. here is the description for it.(adsbygoogle = window.adsbygoogle || []).push({});

Elementary development of propositional and predicate logic, including semantics and deductive systems and with a discussion of completeness, incompleteness and the decision problem.

the grad class has this description

Sentential logic, first-order languages, models and formal deductions. Basic model theory including completeness and compactness theorems, other methods of constructing models, and applications such as non-standard analysis.

So I want a book that is introductory enough to cover the undergrad course and give me a good basis for the grad course. I have never done any logic studies so this is all brand new to me.

thanks,

RK

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Need a Logic book recommendation.

**Physics Forums | Science Articles, Homework Help, Discussion**