Англійська ⇄ Іспанська Італійська Грецька Данська Китайська Нідерландська Німецька Португальська Російська Українська Французька Фінська Шведська +

intuitionistic logic
телеком.	直觉主义逻辑