User boris - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T07:39:49Z http://mathoverflow.net/feeds/user/1083 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/1017/intro-to-automatic-theorem-proving-logical-foundations/2261#2261 Answer by boris for Intro to automatic theorem proving / logical foundations? boris 2009-10-24T08:15:20Z 2009-10-24T08:15:20Z <p>John Harrison "Handbook of Practical Logic and Automated Reasoning" - superbook</p>