Cover Image

A computational logic /

Show other versions (1)

Bibliographic Details
Main Author:	Boyer, Robert S.
Other Authors:	Moore, J Strother, 1947-
Format:	Book
Language:	English
Published:	New York : Academic Press, [1979]
Series:	ACM monograph series.
Subjects:	Automatic theorem proving.

Description
Item Description:	Includes index.
Physical Description:	xiv, 397 pages ; 24 cm.
Bibliography:	Bibliography: pages 385-387.
ISBN:	0121229505