PX, a computational logic
By: Susumu Hayashi, Hiroshi Nakano.
Contributors: Nakano, Hiroshi.
Series: Foundations of computing
Publisher: MIT Press
Published: 1988
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 200
Subjects: Automatic theorem proving; Logic, Symbolic and mathematical
Notes: Bibliography: p. [191]-196.
Includes index.