book

Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings

Published in 1996 in Berlin by Springer-Verlag

Reference details