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.
發表於2024-12-12
Subsystems of Second Order Arithmetic 2024 pdf epub mobi 電子書 下載
圖書標籤:
Subsystems of Second Order Arithmetic 2024 pdf epub mobi 電子書 下載