PX - Hayashi, Susumu; Nakano, Hiroshi (Cambridge Mit Pr., 1988)
Keywords: Logic, Symbolic And Mathematical; Automatic Theorem Proving