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 – 20 von 22 für Suche 'Lindström, Per', Suchdauer: 0,06s
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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Aspects of Incompleteness / von Lindstrom, Per
Veröffentlicht 2017Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
2
Aspects of incompleteness von Lindström, Per
Veröffentlicht 2003Signatur: Wird geladen …
Standort: Wird geladen … -
3
Aspects of incompleteness von Lindström, Per 1936-2009
Veröffentlicht 1997Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
4
Notes on formulas with prescribed properties in arithmetical theories von Lindström, Per 1936-2009
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
5
Some results on relative interpretability von Lindström, Per 1936-2009
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
6
Some results on relative interpretability von Lindström, Per 1936-2009
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
7
Aspects of Incompleteness von Lindström, Per 1936-
Veröffentlicht 2016Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
8
More on partially conservative sentences and interpretability von Lindström, Per 1936-2009
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
9
Remarks on provability and interpretability von Lindström, Per 1936-2009
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen … -
10
On faithful interpretability von Lindström, Per 1936-2009
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen … -
11
Trial and error relations and their guessing functions von Lindström, Per 1936-2009
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
12
Trial and error relations and their guessing functions von Lindström, Per 1936-2009
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
13
Sentences and degrees of interpretability von Lindström, Per 1936-2009
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen … -
14
More on partially conservative sentences and interpretability von Lindström, Per 1936-2009
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
15
Effects of 5-hydroxytryptophan hydroxytryptophan and 5-hydroxytryptamine hydroxytryptamine on the pancreatic beta-cell function von Lindström, Per 1936-2009
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen … -
16
Effects of 5-Hydroxyptophan and 5-Hydroxytryptamine on the pancreatic B-cell function von Lindström, Per
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen … -
17
Notes on partially conservative sentences and interpretability von Lindström, Per 1936-2009
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen … -
18
Omitting uncountable types and extensions of elementary logic von Lindström, Per 1936-2009
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
19
Omitting uncountable types and extensions of elementary logic von Lindström, Per 1936-2009
Veröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen … -
20
Results in the theory of models of first order languages von Lindström, Per
Veröffentlicht 1966Signatur: Wird geladen …
Standort: Wird geladen …