Per Lindström

Per Lindström fu un logico svedese il cui lavoro ebbe un impatto significativo sulla teoria dei modelli e sulla logica. È rinomato per i suoi contributi fondamentali, inclusi importanti teoremi e quantificatori che portano il suo nome. Come eminente seguace di Lars Svenonius, la sua carriera accademica culminò in una tesi di dottorato incentrata sulla teoria dei modelli per linguaggi del primo ordine.