圖書標籤:
发表于2024-11-30
Subsystems of Second Order Arithmetic pdf epub mobi txt 電子書 下載 2024
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 pdf epub mobi txt 電子書 下載 2024