• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Collected Papers: Volume 4: 1958-1979

Collected Papers: Volume 4: 1958-1979

Hardcover

FictionLogicProgramming

ISBN10: 3319954164
ISBN13: 9783319954165
Publisher: Birkhauser
Published: Jan 1 2019
Pages: 757
Weight: 3.42
Height: 1.63 Width: 7.00 Depth: 10.00
Language: English
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.

3 different editions

Also available

Also in

Fiction