Design Patterns fur mathematische Beweise

Bok av Hans Jurgen Ohlbach Norbert Eisinger