- #1
cap.r
- 67
- 0
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.
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
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