Die Verwendung mehrwertiger und nicht-monotoner Logiken zur ProgrammkonstruktionWolf ZimmermannAgotado4,3Notifícame