Subsystems of second order arithmetic

Subsystems of second order arithmetic

by Stephen G. Simpson
4/5
(2 votes)

An original contribution to the foundations of mathematics, with emphasis on the role of set existence axioms, this book gives particular attention to several well known foundational programs including those by Hilbert, Bishop, and Weyl.

Format
444 pages
First published
1999
Publishers
Springer

Books

Similar books