Logik für Software-Ingenieure (Programmierung Komplexer Systeme / Programming Complex Systems, 3, Band 3)