What is a logical system? /
Gabbay, Dov M.,1945-
Oxford : Clarendon Press ; New York : Oxford University Press,
1994.
Includes bibliographical references and index
Logic, Symbolic and mathematical.
Computer science.