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îţă
Avainsanat: Computer Science, Theory of Computation, Mathematics of Computing, Topology, Analysis, Mathematical Logic and Foundations
- Tekijä(t)
- Bridges, Douglas S.
- Vîţă, Luminiţa Simona
- Julkaisija
- Springer
- Julkaisuvuosi
- 2011
- Kieli
- en
- Painos
- 1
- Sarja
- Theory and Applications of Computability
- Sivumäärä
- 14 sivua
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783642224157