Odpowiedzialność: | Alfred Tarski. | ||||
Seria: | Biblioteczka Matematyczna : 3-4-5 | ||||
Hasła: | Dedukcja (logika) Logika symboliczna i matematyczna | ||||
Adres wydawniczy: | Lwów ; Warszawa : Książnica - Atlas, [ca 1929]. | ||||
Opis fizyczny: | 166 s. ; 20 cm. Skocz do: | Inne pozycje tego autora w zbiorach biblioteki | Dodaj recenzje, komentarz | |
Sprawdź dostępność, zarezerwuj (zamów):
(kliknij w nazwę placówki - więcej informacji)
CzN nr IV
ul Wiktorska 10
tel. 22 845 00 88
Sygnatura: 2427
Numer inw.: 2427
Dostępność: tylko na miejscu
Notka biograficzna:
Tarski, Alfred
Alfred Tarski, dawniej Alfred Tajtelbaum ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley w stanie Kalifornia – polski logik, członek Szkoły Lwowsko-Warszawskiej. Od 1939 r. pracował w Stanach Zjednoczonych. Twórca m.in. teorii modeli i semantycznej definicji prawdy. Bywa wymieniany jako jeden z czterech najwybitniejszych logików wszech czasów – obok Arystotelesa, Gottloba Frege oraz Kurta Gödla. Najważniejszym filozoficznie osiągnięciem Tarskiego była tzw. semantyczna teoria prawdy. Tarski wyprowadził pojęcie prawdy jako cechę zdań logicznych należącą [>>]