Suchergebnisse - Tarski, Alfred 1901-1983
Alfred Tarski
mini|200px|Alfred Tarski in [[Berkeley (Kalifornien)|Berkeley]] Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum (geboren am 14. Januar 1901 (nach anderen Quellen 1902) in Warschau; gestorben am 26. Oktober 1983 in Berkeley, USA) war ein polnischer Mathematiker und Logiker. Alfred Tarski erarbeitete grundlegende Beiträge zu beiden Formalwissenschaften sowie zur formalen Wahrheitstheorie (Konvention T) und war einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem Zweiten Weltkrieg. Veröffentlicht in Wikipedia- Treffer 1 – 20 von 95
- Zur nächsten Seite
-
1Collected papersBand 1 - 1921 - 1934von Tarski, Alfred 1901-1983Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Collected papersBand 4 - 1958 - 1979von Tarski, Alfred 1901-1983Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Cylindric algebrasBand 2. (1985). - VII, 302 Svon Henkin, Leon 1921-2006, Monk, James Donald 1930-, Tarski, Alfred 1901-1983Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Einführung in die mathematische LogikVeröffentlicht 1977Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
5Ordinal algebrasVeröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Undecidable theoriesVeröffentlicht 1953Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7A formalization of set theory without variablesVeröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8A formalization of set theory without variablesVeröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Cylindric algebrasBand 1. (1971). - VI, 508 Svon Henkin, Leon 1921-2006, Monk, James Donald 1930-, Tarski, Alfred 1901-1983Veröffentlicht 1971Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Einführung in die mathematische LogikVeröffentlicht 1969Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Direct Decompositions of finite algebraic systemsVeröffentlicht 1947Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Buch -
12Collected papersBand 2 - 1935 - 1944von Tarski, Alfred 1901-1983Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Collected papersBand 3 - 1945 - 1957von Tarski, Alfred 1901-1983Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14Metamathematische Methoden in der GeometrieVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Introduction to logic and to the methodology of deductive sciencesVeröffentlicht 1973Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Logique, sémantique, métamathématique: 1923 - 1944Band 1 (1972)von Tarski, Alfred 1901-1983Veröffentlicht 1972Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Undecidable theoriesVeröffentlicht 1968Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18Einführung in die mathematische LogikVeröffentlicht 1966Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19Direct decompositions of finite algebraic systemsVeröffentlicht 1964Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20Einführung in die mathematische Logik und in die Methodologie der MathematikVeröffentlicht 1937Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …