Logik für Informatiker

• Prüfungen
• Kurs
• Kurs
• Beweis der Vollständigkeit des Kalküls
• Resolution