Report - Logik für Informatiker - KITbeckert/teaching/Logik-SS06/10PraedikatenlogikSubstitution... · Besondere Substitutionen Denition: Variablenumbenennung Eine Substitution ist eine Variablenumbenennung,

Please pass captcha verification before submit form