Autor: Hans Jurgen Ohlbach

Support

2 Ebooks von Hans Jurgen Ohlbach

Norbert Eisinger & Hans Jurgen Ohlbach: Design Patterns für mathematische Beweise
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschieden …
PDF
Deutsch
DRM
€30.59
Hans Jurgen Ohlbach & U. Reyle: Logic, Language and Reasoning
th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profoun …
PDF
Englisch
DRM
€57.74