Solomon Feferman – författare
Visar alla böcker från författaren Solomon Feferman. Handla med fri frakt och snabb leverans.
14 produkter
Kurt Godel: Collected Works: Volume IV
Av Kurt Godel, Wilfried Sieg m. fl.
E-bok, 2014
962 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 Godel: Collected Works: Volume V
Av Kurt Godel, Wilfried Sieg m. fl.
E-bok, 2014
1174 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, Solomon Feferman m. fl.
Inbunden, 1995
6293 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 …
In the Light of Logic
Inbunden, 1999
2169 kr
Lägg i varukorg
Solomon Feferman is one of the leading figures in the philosophy of mathematics. This volume brings together a selection of his most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the …
Kurt Gödel: Collected Works: Volume II
Publications 1938-1974
Av Kurt Gödel, Solomon Feferman m. fl.
Häftad, 2001
2031 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 …
In the Light of Logic
E-bok, 1998
1283 kr
Lägg i varukorg
In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor …
Kurt Gödel: Collected Works: Volume IV
Selected Correspondence, A-G
Av Kurt Gödel, Stanford Unviersity of Mathematics m. fl.
Inbunden, 2003
5514 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 IV
Av Kurt Gödel, Solomon Feferman m. fl.
Häftad, 2014
1107 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
Av Kurt Gödel, Solomon Feferman m. fl.
Häftad, 2014
1416 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
Essays for his Centennial
Av Solomon Feferman, Charles Parsons m. fl.
Inbunden, 2010
2052 kr
Lägg i varukorg
Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary …
Alfred Tarski
Life and Logic
Av Anita Burdman Feferman, Solomon Feferman
Häftad, 2008
487 kr
Lägg i varukorg
Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence are cornerstones of modern logic, influencing developments in mathematics, philosophy, linguistics, and computer science. Tarski …
Alfred Tarski
Life and Logic
Av Anita Burdman Feferman, Solomon Feferman
Inbunden, 2004
2149 kr
Lägg i varukorg
Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence are cornerstones of modern logic, influencing developments in mathematics, philosophy, linguistics, and computer science. Tarski …
Kurt Gödel
Essays for his Centennial
Av Solomon Feferman, Charles Parsons m. fl.
Häftad, 2013
764 kr
Lägg i varukorg
Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary …
Proofs, Categories and Computations. Essays in Honor of Grigori Mints
Av Solomon Feferman, Wilfried Sieg
Häftad, 2010
307 kr
Lägg i varukorg
