Plangenerierung und nichtklassische Logiken Seminar Sommer 1989 (1990)