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:
Description
Item Description:Includes index.
Physical Description:xiv, 397 p. ; 24 cm.
Bibliography:Bibliography: p. 385-387.
ISBN:0121229505