Gödel '96
Gödel '96Petr Hájek
Sign up to use
Gödel '96

Gödel '96

Sign up to use
Sign up to use
The proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The papers in this volume cover the wide range of topics Gödel's work touched, and affirm its continuing importance.