Labelled deductive systems /
Gabbay, Dov M.,1945-
Oxford : Clarendon,
1996-
Includes bibliographical references and index.
v. 1.
Logic.