Logic for computer science : foundations of automatic theorem proving /

other_versions_link
Bibliographic Details
Main Author: Gallier, Jean H.
Format: Printed Book
Language:English
Published: New York, NY : Harper & Row, c1986.
Subjects:
Computer science

MAT

Holdings details from MAT
Call Number: 681.325.6 GAL
Copy Live Status Unavailable

Similar Items