bn:27833813n
Noun Named Entity
PT
Rineke Verbrugge
EN
Laurina Christina Verbrugge is a Dutch logician and computer scientist known for her work on interpretability logic and provability logic. Wikipedia
Relations
Sources