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: