111314-01  Tarski, Alfred.
Grundzüge des Systemenkalküls. 2 Hefte. (25,5 x 18 cm). SS. (503)-526/ SS. (283)-301. Original-Broschuren, unbeschnitten. (Sonderdrucke aus: Fundamenta mathematicae).
Warschau, Uniwersytet, Seminarjum Matematyczne, 1935-36.
Erste Ausgabe dieser für die mathematische Logik bedeutenden Arbeit, hier in den seltenen Sonderdrucken mit handschriftlicher Widmung des Verfassers. - Tarski publiziert hier erstmals die Konstruktion der Lindenbaum-Tarski-Algebra und zeigt, dass diese eine Boolesche Algebra ist. - "Die Ergebnisse, die in der vorliegenden Mitteilung dargestellt werden, gehören zur allgemeinen Metamathematik (die ich früher auch als allgemeine Methodologie der deduktiven Wissenschaften bezeichnet habe), also zu einer Disziplin, deren Aufgabe es ist, den Sinn von allgemeinen metamathematischen Begriffen, die sich uns bei der Untersuchung der verschiedenen konkreten deduktiven Theorien aufdrängen, zu präzisieren und die Grundeigenschaften dieser Begriffe festzustellen" (Vorwort). - Sauber und gut erhalten. - DSB 18, 893; Givant 35a und 36d

1.200 €