S. Feferman – författare
Visar alla böcker från författaren S. Feferman. Handla med fri frakt och snabb leverans.
8 produkter
Kurt Gödel: Collected Works: Volume I
Publications 1929-1936
Av Kurt Gödel, S. Feferman m. fl.
Inbunden, 1986
5652 kr
Lägg i varukorg
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on …
Kurt Gödel: Collected Works: Volume II
Publications 1938-1974
Av Kurt Gödel, S. Feferman m. fl.
Inbunden, 1990
5377 kr
Lägg i varukorg
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on …
Kurt Gödel: Collected Works
Volume I: Publications 1929-1936
Av Kurt Gödel, S. Feferman m. fl.
Häftad, 2001
1335 kr
Lägg i varukorg
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on …
Kurt Gödel: Collected Works: Volume III
Unpublished Essays and Lectures
Av Kurt Gödel, S. Feferman m. fl.
Häftad, 2001
1500 kr
Lägg i varukorg
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on …
Kurt Gödel: Collected Works: Volume V
Correspondence, H-Z
Av Kurt Gödel, S. Feferman m. fl.
Inbunden, 2003
6156 kr
Lägg i varukorg
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on …
Model-Theoretic Logics
Inbunden, 2017
3331 kr
Lägg i varukorg
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the …
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Av W. Buchholz, S. Feferman m. fl.
Häftad, 1981
387 kr
Lägg i varukorg
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Av W. Sieg, W. Pohlers m. fl.
E-bok, 2006
440 kr
Lägg i varukorg
