Yakoub Salhi

Ein Blick auf den Umgang mit Inkonsistenzen in logischen Systemen mithilfe von Variablenvorkommen.