Gabbay, Dov M. 1945-

Elementary logics a procedural perspective Dov Gabbay -- London Prentice Hall Europe 1998

xi, 365 p. ill. 24 cm

ISBN:  0137263651 (alk. paper)

Includes bibliographical references and index. 

1. Computer science.  2. Logic, Symbolic and mathematical. 

QA76 .G223 1998