Treffer 1 – 8 von 8 für Suche 'Veldman, Wim', Suchdauer: 0,02s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Some intuitionistic variations on the notion of a finite set of natural numbers von Veldman, Wim
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen … -
2
Winning infinite games intuitionistically von Veldman, Wim
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
3
Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics von Veldman, Wim
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen … -
4
On the continuity of functions in intuitionistic real analysis some remarks on Brouwer's paper Ű̈ber Definitionsbereiche von Funktionen" von Veldman, Wim
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
5
On sets enclosed between a set and its double complement von Veldman, Wim
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen … -
6
Some elementary results in intuitionistic model theory von Veldman, Wim, Waaldijk, Frank
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen … -
7
A survey of intuitionistic descriptive set theory von Veldman, Wim
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
8
On the constructive contrapositions of two axioms of countable choice von Veldman, Wim
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …