Handbook of practical logic and automated reasoning - Harrison, J. (John) 1966- (Cambridge Cambridge University Press, 2009)
Dr. Jaime DL. Caro (recommending faculty)
Keywords: Computer logic