Per Lindström

Per Lindström (* 9. April 1936; † 21. August 2009 in Göteborg) war ein schwedischer Logiker. Er ist der Namensgeber für die Sätze von Lindström, welche die Prädikatenlogik erster Stufe gegenüber allen anderen logischen Systemen auszeichnen.

Lindström lehrte an der Philosophischen Fakultät der Universität Göteborg, zunächst als Dozent, ab 1991 als Professor der Logik. 2001 ging er in den Ruhestand. Veröffentlicht in Wikipedia
Treffer 1 – 16 von 16 für Suche 'Lindström, Per 1936-2009', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Aspects of incompleteness

    Aspects of incompleteness von Lindström, Per 1936-2009

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Notes on formulas with prescribed properties in arithmetical theories

    Notes on formulas with prescribed properties in arithmetical theories von Lindström, Per 1936-2009

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Some results on relative interpretability

    Some results on relative interpretability von Lindström, Per 1936-2009

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Some results on relative interpretability

    Some results on relative interpretability von Lindström, Per 1936-2009

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    More on partially conservative sentences and interpretability

    More on partially conservative sentences and interpretability von Lindström, Per 1936-2009

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Remarks on provability and interpretability

    Remarks on provability and interpretability von Lindström, Per 1936-2009

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    On faithful interpretability

    On faithful interpretability von Lindström, Per 1936-2009

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Trial and error relations and their guessing functions

    Trial and error relations and their guessing functions von Lindström, Per 1936-2009

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Trial and error relations and their guessing functions

    Trial and error relations and their guessing functions von Lindström, Per 1936-2009

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Sentences and degrees of interpretability

    Sentences and degrees of interpretability von Lindström, Per 1936-2009

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    More on partially conservative sentences and interpretability

    More on partially conservative sentences and interpretability von Lindström, Per 1936-2009

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Effects of 5-hydroxytryptophan hydroxytryptophan and 5-hydroxytryptamine hydroxytryptamine on the pancreatic beta-cell function

    Effects of 5-hydroxytryptophan hydroxytryptophan and 5-hydroxytryptamine hydroxytryptamine on the pancreatic beta-cell function von Lindström, Per 1936-2009

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Notes on partially conservative sentences and interpretability

    Notes on partially conservative sentences and interpretability von Lindström, Per 1936-2009

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Omitting uncountable types and extensions of elementary logic

    Omitting uncountable types and extensions of elementary logic von Lindström, Per 1936-2009

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Omitting uncountable types and extensions of elementary logic

    Omitting uncountable types and extensions of elementary logic von Lindström, Per 1936-2009

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Some results in the theory of models of first order languages

    Some results in the theory of models of first order languages von Lindström, Per 1936-2009

    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: