Per Lindström
Lindström, Per, 1936–2017, filosof, professor i logik vid Göteborgs universitet från 1991.
Lindström är internationellt känd för arbeten inom modellteori. Ett teorem som bär hans namn ger en karakterisering av första ordningens predikatlogik.
Källangivelse