• publisher: Cambridge, Mass. : MIT Press
  • creator: Hayashi, Susumu, 1953- Nakano, Hiroshi
  • contributor: Nakano, Hiroshi.
  • Keyword: Automatic theorem proving. Logic, Symbolic and mathematical.
  • years: c1988.
  • pages: xiv, 200 p. ;
  • class: QA76.9.A96
  • isbn: 0262081741
  • notes: Includes index.
  • download: pdf file