Three Views of Logic: Mathematics, Philosophy, and Computer ...
Donald W. Loveland & Richard E. Hodel & S. G. Sterrett