Die Widerspruchsfreiheit der Stufenlogik
scientific article