Cantitate/Preț
Produs
Total produse
Vezi coșul
Collected Papers: Volume 4: 1958-1979 de Alfred Tarski

Collected Papers: Volume 4: 1958-1979

Autor Alfred Tarski
en Limba Engleză Hardback – 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ț: 136428 lei

Preț vechi: 166376 lei
-18% Nou

Puncte Express: 2046
Preț estimativ în valută:
24142€ • 28309$ • 21201£

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: 9783319954165
ISBN-10: 3319954164
Pagini: 760
Ilustrații: XVII, 757 p. 16 illus., 1 illus. in color.
Dimensiuni: 178 x 254 mm
Greutate: 1.55 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Birkhäuser
Locul publicării:Cham, Switzerland

Cuprins

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.

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.