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.

Скачать книгу бесплатно (djvu, 2.57 Mb)

---

Читать «Goedel '96: Proc. Brno 1996»