Title: Mechanization of reasoning in a historical perspective
Subjects: Reasoning, Mathematical models