Числення висловів мінімальне – Інші мови