Stephen G. Simpson – författare
Visar alla böcker från författaren Stephen G. Simpson. Handla med fri frakt och snabb leverans.
5 produkter
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 …
Subsystems of Second Order Arithmetic
Häftad, 2010
878 kr
Lägg i varukorg
Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and …
Subsystems of Second Order Arithmetic
Inbunden, 2009
2524 kr
Lägg i varukorg
Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and …
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 …
Reverse Mathematics 2001
E-bok
1276 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. Reverse mathematics is a program of research in the …
