Report copyright - 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