Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

1 books in the database

Books

Computational logic and proof theoryKurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Computational logic and proof theory

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) · 1993