Subsystems of Second Order Arithmetic 在线电子书 图书标签:
发表于2024-11-10
Subsystems of Second Order Arithmetic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 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 下载 txt下载 epub 下载 mobi 下载 2024