8 treff

Techniques of constructive analysis
Bridges, Douglas
Bok Engelsk 2006
Foundations of real and abstract analysis
Bridges, Douglas
Bok Engelsk 1998
Combinatorics, complexity, and logic : proceedings of DMTCS '96
International Conference on Discrete Mathematics and Theoretical Computer Science
Bok Engelsk 1997
Representations of preferences orderings
Bridges, Douglas
Bok Engelsk 1995
Computability : a mathematical sketchbook
Bridges, Douglas
Bok Engelsk 1994
Varieties of construcive mathematics
Douglas Bridges, Fred Richman
Bok Engelsk 1987
Constructive analysis
Errett Bishop, Douglas Bridges
Bok Engelsk 1985
Constructive functional analysis
Bridges, Douglas
Bok Engelsk 1979