Per Lindström

Per Lindström était un logicien suédois dont le travail a eu un impact significatif sur la théorie des modèles et la logique. Il est réputé pour ses contributions fondamentales, notamment des théorèmes et des quantificateurs clés portant son nom. En tant que disciple éminent de Lars Svenonius, sa carrière universitaire a abouti à une thèse de doctorat axée sur la théorie des modèles pour les langages du premier ordre.