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