Course on mathematical logic - Srivastava, SM (New Work Springer, 2008)
Keywords: ARITHMETICAL SETS; INCOMPLETENESS THEOREM; MATHEMATICAL LOGIC; PROPOSITIONAL LOGIC