Advance discrete structure - Gupta, C B.; Singh, S R.; Kumar, Sandeep (New Delhi : I K International Publishing House Pvt Ltd, 2010)
Keywords: Propositional logic; Techniques of proof; Poset and lattics