Matthias Baaz

URI: https://gptkb.org/entity/Matthias_Baaz
GPTKB entity
Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthYear 1949
gptkbp:doctoralAdvisor gptkb:Kurt_Schütte
gptkbp:employer gptkb:Vienna_University_of_Technology
gptkbp:field gptkb:logic
proof theory
https://www.w3.org/2000/01/rdf-schema#label Matthias Baaz
gptkbp:nationality gptkb:Austrian
gptkbp:notableStudent Agata Ciabattoni
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:bfsParent gptkb:Archive_for_Mathematical_Logic
gptkbp:bfsLayer 5