Φορτώνει......
Apartness and uniformity a constructive development /
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 point-set topology and the theory of uniform spaces. While the classical-logic-based theory of proximity spaces provides som...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Livro |
| Γλώσσα: | Inglês |
| Έκδοση: |
Springer Berlin Heidelberg,
2011
|
| Έκδοση: | 1st ed. 2011. |
| Σειρά: | Theory and applications of computability |
| Θέματα: | |
| Διαθέσιμο Online: | https://minerva.ufrj.br/F/?func=direct&doc_number=000920016&local_base=UFR01 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|