A computational logic / Robert S. Boyer and J. Strother Moore.

Bibliographic Details
Main Author: Boyer, Robert S.
Other Authors: Moore, J Strother, 1947-
Format: Book
Published: New York : Academic Press, c1979.
Series:ACM monograph series.

Walker Library - 3rd Floor

Holdings details from Walker Library - 3rd Floor
Call Number: 519.4 B69c
Copy Available
Pull and Hold