A Computational Logic

by: Robert S. Boyer; J Strother Moore

  • Publisher: Academic Press
  • Print ISBN: 9780121229504, 0121229505

  • eText ISBN: 9781483277882, 1483277887

  • Copyright year: 1979