Cantitate/Preț
Produs
Total produse
Vezi coșul
Collected Papers: Volume 3: 1945-1957 de Alfred Tarski

Collected Papers: Volume 3: 1945-1957

Autor Alfred Tarski
en Limba Engleză Hardback – 3 ian 2019
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Hardback (4) 109709 lei  6-8 săpt.
  Springer International Publishing – 2019 109709 lei  6-8 săpt.
  Springer International Publishing – 3 ian 2019 109833 lei  6-8 săpt.
  Springer International Publishing – 3 ian 2019 109936 lei  6-8 săpt.
  Springer International Publishing – 2019 136428 lei  6-8 săpt.

Preț: 109833 lei

Preț vechi: 133943 lei
-18% Nou

Puncte Express: 1647
Preț estimativ în valută:
19436€ • 22790$ • 17068£

Carte tipărită la comandă

Livrare economică 07-21 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319954226
ISBN-10: 3319954229
Pagini: 684
Ilustrații: XVII, 682 p. 16 illus., 1 illus. in color.
Dimensiuni: 178 x 254 mm
Greutate: 1.42 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Birkhäuser
Locul publicării:Cham, Switzerland

Cuprins

Ideale in vollständigen Mengenkörpern, II.- On closed elements in closure algebras (with J.C. C. McKinsey).- A remark on functionally free algebras.- Direct decompositions of finite algebraic systems (with B. Jónsson).- Some theorems about the sentential calculi of Lewis and Heyting (with J. C. C. McKinsey).- A problem concerning the notion of definability.- Axiomatic and algebraic aspects of two theorems on sums of cardinals.- Measures in Boolean algebras (with A. Horn).- Cancellation laws in the arithmetic of cardinals.- Distributive and modular laws in the arithmetic of relation algebras (with L. H. Chin).- A decision method for elementary algebra and geometry (prepared for publication with the assistance of J. C. C. McKinsey).- Boolean algebras with operators, Part I (with B. Jónsson).- Boolean algebras with operators, Part II (with B. Jónsson).- Some notions and methods on the borderline of  algebra and metamathematics.- Mutual interpretability of some essentially undecidabletheories (with W. Szmielew).- On algebras whose factor algebras are Boolean (with J. M. G. Fell).- Theorems on the existence of successors of cardinals, and the axiom of  choice.- Contributions to the theory of models, I.- Contributions to the theory of  models, II.- Contributions to the theory of models,  III.- A lattice-theoretical fixpoint theorem and its  applications.- The fundamental ideas of pansomatism (English translation of the article «Zasadnicze myśli pansomatyzmu» by T. Kotarbiński; translated by A. Tarski and  D. Rynin).- Equationally complete rings and  relation algebras.- Equilaterality as the only primitive notion of Euclidean geometry (with E. W. Beth).- A general theorem concerning primitive notions of Euclidean geometry.- Higher degrees of distributivity and completeness in Boolean algebras (with E. C. Smith, Jr.).- Arithmetical extensions of relational systems (with R. L. Vaught).- Remarks on direct products of commutative semigroups.

Textul de pe ultima copertă

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.