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:

Perpustakaan CIAST

Holdings details from Perpustakaan CIAST
Call Number: QA76 G223 1998
Accession Item Category Format Status Notes
0000003905 Open Shelf Book AVAILABLE