View in EDS PDF Full Text

Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy

Saved in:
Bibliographic Details
Title: Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy
Description: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.
Authors: Petr Hájek
Resource Type: eBook.
Subjects: Mathematical physics--Congresses, Computer science--Congresses, Logic, Symbolic and mathematical--Congresses, Mathematics--Philosophy--Congresses
Categories: MATHEMATICS / Logic
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 1475796
RelevancyScore: 1077
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1077.00524902344
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1475796$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1475796$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Petr+Hájek%22">Petr Hájek</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Mathematical+physics--Congresses%22">Mathematical physics--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science--Congresses%22">Computer science--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Logic%2C+Symbolic+and+mathematical--Congresses%22">Logic, Symbolic and mathematical--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematics--Philosophy--Congresses%22">Mathematics--Philosophy--Congresses</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Logic%22">MATHEMATICS / Logic</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=1475796
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 511.3
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Mathematical physics--Congresses
        Type: general
      – SubjectFull: Computer science--Congresses
        Type: general
      – SubjectFull: Logic, Symbolic and mathematical--Congresses
        Type: general
      – SubjectFull: Mathematics--Philosophy--Congresses
        Type: general
    Titles:
      – TitleFull: Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Petr Hájek
      – PersonEntity:
          Name:
            NameFull: Petr Hájek
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2017
            – D: 19
              M: 04
              Type: profile
              Y: 2017
          Identifiers:
            – Type: isbn-print
              Value: 9781107168022
            – Type: isbn-electronic
              Value: 9781316754740
          Numbering:
            – Type: volume
              Value: 00006
          Titles:
            – TitleFull: Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy
              Type: main
ResultId 1