Elementary logics : a procedural perspective - Gabbay, Dov M., 1945- (London: Prentice Hall Europe, 1998)
Includes bibliographical references and index.
Keywords: Computer science; Logic, Symbolic and mathematical