Maarten De Rijke
ILLC, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands mdr@wins.uva.nl
Logic for applications
First-order logic and automated theorem proving (2nd ed.)
The essence of logic
The resolution calculus