Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- constructive 2 Treffer
- constructive set theory 2 Treffer
- mathematics 2 Treffer
- pure mathematics 2 Treffer
- axiom 1 Treffer
-
22 weitere Werte:
- bishop-style constructive mathematics 1 Treffer
- closed set 1 Treffer
- constructive proof 1 Treffer
- constructivism 1 Treffer
- constructivism (mathematics) 1 Treffer
- dedekind cut 1 Treffer
- discrete mathematics 1 Treffer
- formal topology 1 Treffer
- fos: mathematics 1 Treffer
- heyting algebra 1 Treffer
- logic (math.lo) 1 Treffer
- mathematics - logic 1 Treffer
- metric space 1 Treffer
- open set 1 Treffer
- perfect set 1 Treffer
- power set 1 Treffer
- regular space 1 Treffer
- semantics 1 Treffer
- separation properties 1 Treffer
- set theory 1 Treffer
- t1 space 1 Treffer
- topology 1 Treffer
Verlag
Publikation
Sprache
3 Treffer
-
In: From Sets and Types to Topology and Analysis : Towards practicable foundations for constructive mathematics; (2005-10-06)Online E-BookZugriff:
-
In: Annals of Pure and Applied Logic, Jg. 163 (2012-07-01), S. 820-830Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, Jg. 161 (2010), S. 560-569Online unknownZugriff: