Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg)[1] was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named.
[1]) He was one of the key followers of Lars Svenonius.
[3] Lindström was awarded a PhD from the University of Gothenburg in 1966.
[4] His thesis was titled Some Results in the Theory of Models of First Order Languages.
This article about a European mathematician is a stub.