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:
No reviews were found for this record.