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îţă
Nyckelord: Computer Science, Theory of Computation, Mathematics of Computing, Topology, Analysis, Mathematical Logic and Foundations
- Författare
- Bridges, Douglas S.
- Vîţă, Luminiţa Simona
- Utgivare
- Springer
- Utgivningsår
- 2011
- Språk
- en
- Utgåva
- 1
- Serie
- Theory and Applications of Computability
- Sidantal
- 14 sidor
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783642224157