Search over one million articles, find something about almost anything!
 

 
Symbolic
logic 
... and mathematical logic, proofs by humans can be computerassisted. Using automated theorem proving the machines can find and check proofs, as well as work with proofs ... 

