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.
Catégories:
Année:
1996
Edition:
1
Editeur::
Springer
Langue:
english
Pages:
336
ISBN 10:
3540614346
ISBN 13:
9783540614340
Collection:
Lecture Notes in Logic 006
Fichier:
DJVU, 2.57 MB
IPFS:
,
english, 1996
Amazon 
Barnes & Noble 
Bookshop.org
Vous souhaitez ajouter une librairie ? Contactez-nous à support@z-lib.do
Convertissez des fichiers
Plus de résultats de recherche
Autres avantages Mots Clefs
Les listes de livres associées
