Bridges, Douglas S.
Apartness and Uniformity
Table of contents
1. The Constructive Framework
Douglas S. Bridges, Luminiţa Simona Vîţă
2. Point-Set Apartness
Douglas S. Bridges, Luminiţa Simona Vîţă
3. Apartness Between Sets
Douglas S. Bridges, Luminiţa Simona Vîţă
Keywords: Computer Science, Theory of Computation, Mathematics of Computing, Topology, Analysis, Mathematical Logic and Foundations
- Author(s)
- Bridges, Douglas S.
- Vîţă, Luminiţa Simona
- Publisher
- Springer
- Publication year
- 2011
- Language
- en
- Edition
- 1
- Series
- Theory and Applications of Computability
- Page amount
- 14 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783642224157