Stephen G. Simpson is a mathematics professor at the Pennsylvania State University. He has lectured and published widely in mathematical logic and the foundations of mathematics. Simpson is the developer of the foundational program known as Reverse Mathematics and the author of Subsystems of Second Order Arithmetic, 2nd Edition.
4 Ebooks oleh Stephen G. Simpson
Stephen G. Simpson: 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 been unavailable fo …
PDF
Inggris
DRM
€103.06
Stephen G Simpson: Logic and Combinatorics
In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulatin …
PDF
DRM
€90.91
