Gödel '96. Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings.

Hájek, Petr:

ISBN 10: 3540614346 / ISBN 13: 9783540614340

Edité par Berlin, Springer, 1996

A propos de cet article

VIII, 322 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D04217 9783540614340 Sprache: Englisch Gewicht in Gramm: 550.

N° de réf. du vendeur 2513937

Détails bibliographiques

• Titre: Gödel '96. Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings.
• Éditeur: Berlin, Springer
• Date de parution: 1996
• Langue: anglais
• ISBN à 10 chiffres: 3540614346
• ISBN à 13 chiffres: 9783540614340
• Reliure: Softcover
• Catalogues du vendeur:
  • AA Varia

A propos de ce titre

Synopsis

This is a proceedings volume of the conference celebrating the 90th anniversary of the birth of Kurt Goedel. The conference has been recognized as an ASL sponsored meeting. Invited papers and contributed papers concern mainly mathematical logic but also philosophy of mathematics, computer science and physics and are devoted to topics related to Goedel's work and reflect the present state of knowledge domains deeply influenced by Goedel.