Elementary logics
Subtitle: a procedural perspective
By: Dov Gabbay.
Series: Prentice Hall series in computer science
Publisher: Prentice Hall Europe
Published: 1998
Place of publication: New York
Language: eng
Number of pages: 384
Subjects: Computer science; Logic, Symbolic and mathematical
Notes: Includes bibliographical references and index.