"Hsu, Y John" Computer Logic - \\201000ENGGPSX - Springer 2010 New Delhi - 198 includes index and biblioraphy ISBN: 9.79E+12