Hakutulokset: Kirjoja kirjailijalta Stephen G. Simpson
yhteensä 8 hakutulosta
Kurt Gödel
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 …
Subsystems of Second Order Arithmetic
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 …
Kurt Godel
Kurt Godel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of …
The Futures of Medieval French
Essays on aspects of medieval French literature, celebrating the scholarship of Sarah Kay and her influence on the field. Sarah Kay is one of the most influential medievalists of …
Subsystems of Second Order Arithmetic
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 …
Rethinking Innovation - Driving Dramatic Improvements in Organizational Performance Through Focused Innovation
Our Ongoing Search to Understand and Enable the Practice of Innovation to Drive Improved Organizational Performance The Innovation Expedition was launched on April 1, 1991 at the …
Subsystems of Second Order Arithmetic
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 …
Reverse Mathematics 2001
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 …