ENGLISH

Goedel '96: Proc. Brno 1996

By Petr Hajek

Book information

Publisher
Springer
Year
1996
ISBN
9783540614340, 3540614346
LCC
QA9.A1 G6 1996
Open Library ID
OL9061882M
Language
english
Format
DJVU
Filesize
3 MB (2697246 bytes)
Series
Lecture Notes in Logic 006
Edition
1
Pages
336\336
Topic
Mathematics\\Logic
Library
Kolxo3
DPI
600
Time added
2009-12-04 00:34:26

Description

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.

Similar books