PX, a computational logic /

Bibliographic Details

Main Author:	Hayashi, Susumu, 1953-
Other Authors:	Nakano, Hiroshi
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1988]
Series:	Foundations of computing.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical.