కార్యసాధక నిబంధన సిద్ధాంతం - ఇతర భాషలు