Home › Authors › Kurt Gödel Colloquium (5th 1997 Vienna, Austria) 👤 Kurt Gödel Colloquium (5th 1997 Vienna, Austria) 1 book Books by Kurt Gödel Colloquium (5th 1997 Vienna, Austria) Computational logic and proof theory 1997