发表于2024-12-05
Subsystems of Second Order Arithmetic 2024 pdf epub mobi 电子书
图书标签:
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.
Subsystems of Second Order Arithmetic 2024 pdf epub mobi 电子书