gentzen system (logic) - German English Dictionary