MATHEMATICAL LOGIC - Cori,Rene; Pelletier,Daniel (Oxford Univ. Pr., New York, 1993)
Part - 1 Propositional Calculus , Boolean Alzebras, Predicate Calculus Part - 2 Recursion Theory, Godel'S Theorems, Set Theory, Model Theory
Keywords: Logic, Symbolic And Mathematical