图书标签:
发表于2024-11-28
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