Числення секвенцій – Інші мови