Odznaczony Krzyżem Kawalerskim Orderu Odrodzenia Polski (2000). Wyróżniony Nagrodą im. Stefana Banacha (1974), Nagrodą Fundacji Alfreda Jurzykowskiego (1994) oraz Nagrodą Ministra Nauki (2014).
Przypisy
Bibliografia
Kategoria:Laureaci Nagrody im. Stefana Banacha Kategoria:Odznaczeni Krzyżem Kawalerskim Orderu Odrodzenia Polski (III Rzeczpospolita) Kategoria:Polscy informatycy Kategoria:Polscy logicy XXI wieku Kategoria:Polscy matematycy XX wieku Kategoria:Polscy matematycy XXI wieku Kategoria:Absolwenci Uniwersytetu Wrocławskiego Kategoria:Rektorzy Uniwersytetu Wrocławskiego Kategoria:Nauczyciele akademiccy Wydziału Matematyki i Informatyki Uniwersytetu Wrocławskiego Kategoria:Ludzie urodzeni w Osnabrücku Kategoria:Urodzeni w 1945