Course No
M465
Credit
4
Approval
Syllabus
Propositional Logic, Tautologies and Theorems of propositional Logic, Tautology Theorem. First Order Logic: First order languages and their structures, Proofs in a first order theory, Model of a first order theory, validity theorems, Metatheorems of a first order theory, e. g., theorems on constants,equivalence theorem, deduction and variant theorems etc. Completeness theorem, Compactness theorem, Extensions by definition of first order theories, Interpretations theorem, Recursive functions, Arithmatization of first order theories, Godels first Incompleteness theorem, Rudiments of model theory including Lowenheim-Skolem theorem and categoricity.
Reference Books
- J. R. Shoenfield, “Mathematical logic”, Addison-Wesley Publishing Co., 1967.
- E. Mendelson, “Introduction to Mathematical Logic”, Chapman & Hall, 1997.