Course on mathematical logic(a) - Srivastava, SM (New York Springer, 2008)
Keywords: MATHEMATICAL LOGIC; PROPOSITIONAL LOGIC; RECURSIVE FUNCTIONS