Computational Logic by J Strother Robert S ; Moore Boyer