Book

Mechanizing mathematical reasoning

by Jörg H. Siekmann, Dieter Hutter, Werner Stephan