Skip to content
Vinony

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

No biography available.

Works (1)

Cover of Computational logic and proof theory
Computational logic and proof theory
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) — author · Vinony