About the Grundlagen der Logik in der Informatik category

(ehemals Grundlagen der Logik und Logikprogrammierung)