Toggle navigation
LazyLibrarian
Authors
eBooks
Series
AudioBooks
Magazines
Manage
History
Logs
Config
Help
Books
Detail
Wanted
Refresh Author
eBook Scan
AudioBook Scan
Remove Author
Series
Searching, please wait...
Edit Author
Author Name:
Born:
Died:
Added by:
AKA:
Amazon Author Page:
Source IDs:
Source
ID
Primary
OpenLibrary
OpenLibrary not enabled
GoodReads
Remove
HardCover
HardCover not enabled
DBK
DBK not enabled
RanobeDB
RanobeDB not enabled
Author Description
Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg) was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. (He also independently discovered Ehrenfeucht–Fraïssé games.) He was one of the key followers of Lars Svenonius.
Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986.
Current Image:
Filenames must be full path to file or a URL, or put none to remove author image
Filename and URL need to end with .jpg/.jpeg/.png/.webp
Find Images
Lock settings