Course on mathematical logic - Srivastava S M (New York Springer, 2008)
''References 135-p''.; ''Index 137-140p''.
Keywords: First-order languages; Propositional logic; Mathematics