Title: The computer modelling of mathematical reasoning
Subjects: Mathematics, Symbolic and mathematical Logic, Data processing, Automatic theorem proving