1 link
Automated Reasoning
plato.stanford.edu
Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.