Elementary logics : a procedural perspective /

Bibliographic Details
Main Author: Gabbay, Dov M., 1945-
Format: Book
Published: London: Prentice Hall Europe, 1998.
Series:Prentice Hall series in computer science
Subjects:
Description
Physical Description:xi, 365 p.: ill.; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0137263651 (alk. paper)