Sökt på: Böcker av Luminita Simona Vîta
totalt 4 träffar
Techniques of Constructive Analysis
This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty years. The text covers fundamental theory of the …
Apartness and Uniformity
The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both …
Techniques of Constructive Analysis
This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty years. The text covers fundamental theory of the …
Apartness and Uniformity
The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both …