Elementary logic : a procedural perspective - Gabbay, Dov M., 1945- (Prentice Hall Series in Computer Science, 1998)