PX, a computational logic /
Hayashi, Susumu,1953-
Nakano, Hiroshi.
Cambridge, Mass. : MIT Press,
c1988.
Includes index.
Bibliography: p.
Automatic theorem proving.
Logic, Symbolic and mathematical.