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
Language:English
Published: New York : Academic Press, c1979.
Series:ACM monograph series.
Subjects:

Similar Items