Goedel '96: Proc. Brno 1996 By Petr Hajek
1996 | 336 Pages | ISBN: 3540614346 | DJVU | 3 MB
1996 | 336 Pages | ISBN: 3540614346 | DJVU | 3 MB
The papers included in this proceedings volume of the conference celebrating the 90th anniversary of the birth of Kurt Goedel, are concerned with mathematical logic, philosophy of mathematics, and computer science. The topics are related to Goedel's work and reflect his influence in the field.