Per Lindström Libros

Per Lindström fue un lógico sueco cuya obra impactó significativamente la teoría de modelos y la lógica. Es reconocido por sus contribuciones fundamentales, incluyendo teoremas y cuantificadores clave que llevan su nombre. Como destacado seguidor de Lars Svenonius, su carrera académica culminó en una tesis doctoral centrada en la teoría de modelos para lenguajes de primer orden.