gentzen system (logic) - Turco Inglés Diccionario