A computational logic handbook

Main Authors: Boyer Robert S
Group Author: Moore J Strother 1947-
Published: Academic Press,
Publication Dates: c1988.
Call Number: O141-62/B791/