Kurt Gödel Colloquium (5th 1997 Vienna, Austria)

Kurt Gödel Colloquium (5th 1997 Vienna, Austria)

1 books in the database

Books

Computational logic and proof theoryKurt Gödel Colloquium (5th 1997 Vienna, Austria)

Computational logic and proof theory

Kurt Gödel Colloquium (5th 1997 Vienna, Austria) · 1997