Hans Jürgen Ohlbach

Logic, Language and Reasoning

Design Patterns für mathematische Beweise