2 works on record
AI Aspects in Reasoning, Languages, and Computation
Computer reconstruction of the body of mathematics