Title: Logik Fur Software-Ingenieure (Programmierung Komplexer Systeme, No.3)