Elementary logics : a procedural perspective /

Bibliographic Details
Main Author: Gabbay, Dov M., 1945-
Format: Book
Language:English
Published: London : Prentice-Hall europe, 1998.
Series:Prentice-Hall series in computer science
Subjects:
Description
Physical Description:353 p. ; 24 cm.
ISBN:0137263651