proof theory - Alemán Inglés Diccionario