libcats.org
Главная

Goedel '96: Proc. Brno 1996

Обложка книги Goedel '96: Proc. Brno 1996

Goedel '96: Proc. Brno 1996

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.
Популярные книги за неделю:
Только что пользователи скачали эти книги: