Rosen, Kenneth H. creator text New Delhi Tata McGraw Hill Education Private Ltd. 2007 monographic xxi, 787 p. : ill. ; 24 cm. Includes index Mathematics Logic sets Integer and matrices Program correctness Mathematical reasoning Boolean algebra Graphs Algorithms FEAS NCUK 511 ROS 9780070648241 (pbk)