Title: Logic and its applications
Subjects: Kunstmatige intelligentie, Logic programming, Mathematische Logik, Symbolic and mathematical Logic, Predicatenlogica, Logisch programmeren