Suche einschränken:
Zur Kasse

Collected Papers

Tarski, Alfred

Collected Papers

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 papers and abstracts published during his lifetime, 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.

CHF 169.00

Lieferbar

ISBN 9783319954288
Sprache eng
Cover C, Structures and Proofs, Mathematical Logic and Formal Languages, Logic, Proof Theory and Constructive Mathematics, Formal Languages and Automata Theory, Mathematics and Statistics, Proof theory, Mathematical logic, Mathematical theory of computation, Philosophy: logic, Fester Einband
Verlag Springer Nature EN
Jahr 2019

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.