A computational Logic - Moore, J. Strother