Reihe Seminars in mathematicsBücher × Studies in Constructive Mathematics and Mathematical LogicPart ISpringer USSoftcover199711 Treffer 1 2