Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für ... - Hans Jürgen Ohlbach, Norbert Eisinger - Google Books

https://books.google.de/books?id=DBk0DwAAQBAJ&pg=PA49#v=onepage&q&f=false

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur…