c - Shankar, N. (Cambridge : Cambridge University Press, 1994)
Includes bibliographical references.
Includes index.
Keywords: x; Automatic theorem proving