Alfred Tarski: Collected Papers | Buch

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9783319954165 | Collected Papers | Volume 4: 1958-1979 | Alfred Tarski | Buch | XVII

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

231,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.

Inhaltsverzeichnis

The sentential calculus with infinitely long expressions (with D. Scott).- Remarks on predicate logic with infinitely long expressions.- What is elementary geometry?.- On two properties of free algebras (with B. Jónsson).- Cylindric algebras (with L. Henkin).- On some problems involving inaccessible cardinals (with P. Erdös).- Some problems and results relevant to the foundations of set theory.- From accessible to inaccessible cardinals. Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones (with H. J. Keisler).- Refinement properties for relational structures (with C. C. Chang and B. Jónsson).- A simplified formalization of predicate logic with identity.- Metamathematical properties of some affine geometries (with L. W. Szczerba).- The completeness of elementary algebra and geometry.- Equational logic and equational theories of algebras.- An extended arithmetic of ordinal numbers (with J. Doner).- Truth and proof.- An interpolation theorem for irredundant bases of closure structures.- The elementary theory of well-ordering - A metamathematical study (with J. Doner and A. Mostowski).- Metamathematical discussion of some affine geometries (with L. W. Szczerba).- Abstracts.- Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957.- Problems, Reviews, Contributions to Discussions.- Bibliography of Alfred Tarski by S. Givant.

Details

Erscheinungsjahr:	2019
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	776
Inhalt:	xvii 757 S. 15 s/w Illustr. 1 farbige Illustr. 757 p. 16 illus. 1 illus. in color.
ISBN-13:	9783319954165
ISBN-10:	3319954164
Sprache:	Englisch
Herstellernummer:	978-3-319-95416-5
Ausstattung / Beilage:	HC runder Rücken kaschiert
Einband:	Gebunden
Autor:	Tarski, Alfred
Auflage:	1st ed. 2019
Hersteller:	Springer International Publishing Springer International Publishing AG
Maße:	260 x 183 x 47 mm
Von/Mit:	Alfred Tarski
Erscheinungsdatum:	01.01.2019
Gewicht:	1,63 kg

preigu-id: 114437629

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2019
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	776
Inhalt:	xvii 757 S. 15 s/w Illustr. 1 farbige Illustr. 757 p. 16 illus. 1 illus. in color.
ISBN-13:	9783319954165
ISBN-10:	3319954164
Sprache:	Englisch
Herstellernummer:	978-3-319-95416-5
Ausstattung / Beilage:	HC runder Rücken kaschiert
Einband:	Gebunden
Autor:	Tarski, Alfred
Auflage:	1st ed. 2019
Hersteller:	Springer International Publishing Springer International Publishing AG
Maße:	260 x 183 x 47 mm
Von/Mit:	Alfred Tarski
Erscheinungsdatum:	01.01.2019
Gewicht:	1,63 kg