发表于2025-02-09
The Basic Picture 2025 pdf epub mobi 电子书
图书标签:
Constructive topology is an important new branch of constructive mathematics and logic and this monograph is the first account of constructive topology in book form. Aimed at researchers in mathematics, philosophy, and logic, the author provides discussion of the technical development of the field and also outlines the philosophical and methodological motivations underlying the evolution of the discipline.
The Basic Picture 2025 pdf epub mobi 电子书