2 Ebooks por 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
Alemão
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
Inglês
DRM
€57.74
