Формальна логіка – Інші мови