Goedel '96: Proc. Brno 1996
Petr Hajek
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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
