Komplexitaet von entscheidungsproblemen : EIN SEMINAR - Specker, Ernst (Springer Verlag, 1976)