Title: Thirty Five Years of Automating Mathematics (Applied Logic Series)
Subjects: Automatic theorem proving, Proof theory, Formal languages, AUTOMATH (Formal language), Symbolic and mathematical Logic, Mathematics, Data processing, History