Labelled deductive systems
By: Dov M. Gabbay.
Series: Oxford logic guides ;; 33; Oxford science publications
Publisher: Clarendon Press; Oxford University Press
Published: 1996
Place of publication: Oxford; New York
Language: eng
Subjects: Logic.
Notes: Includes bibliographical references and index.