Kalk ụ̈ l

Zeichensystem mit Operationsregeln; Mittel zur Formalisierung logischer Folgerungen.