View in EDS PDF Full Text ePub Full Text

Logic, Computation, Hierarchies

Saved in:
Bibliographic Details
Title: Logic, Computation, Hierarchies
Description: Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
Authors: Vasco Brattka, Hannes Diener, Dieter Spreen
Resource Type: eBook.
Subjects: Logic, Symbolic and mathematical--Congresses, Algebra, Boolean--Congresses, Quasi-metric spaces--Congresses, Petri nets--Congresses, Set theory--Congresses
Categories: PHILOSOPHY / Logic, MATHEMATICS / Logic, MATHEMATICS / Set Theory, PHILOSOPHY / General, PHILOSOPHY / Epistemology
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
  – Type: ebook-epub
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 852724
RelevancyScore: 1057
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1057.36352539063
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$852724$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$852724$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Logic, Computation, Hierarchies
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Vasco+Brattka%22">Vasco Brattka</searchLink><br /><searchLink fieldCode="AR" term="%22Hannes+Diener%22">Hannes Diener</searchLink><br /><searchLink fieldCode="AR" term="%22Dieter+Spreen%22">Dieter Spreen</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Logic%2C+Symbolic+and+mathematical--Congresses%22">Logic, Symbolic and mathematical--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Algebra%2C+Boolean--Congresses%22">Algebra, Boolean--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Quasi-metric+spaces--Congresses%22">Quasi-metric spaces--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Petri+nets--Congresses%22">Petri nets--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Set+theory--Congresses%22">Set theory--Congresses</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22PHILOSOPHY+%2F+Logic%22">PHILOSOPHY / Logic</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Logic%22">MATHEMATICS / Logic</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Set+Theory%22">MATHEMATICS / Set Theory</searchLink><br /><searchLink fieldCode="ZK" term="%22PHILOSOPHY+%2F+General%22">PHILOSOPHY / General</searchLink><br /><searchLink fieldCode="ZK" term="%22PHILOSOPHY+%2F+Epistemology%22">PHILOSOPHY / Epistemology</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=852724
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 511.324
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Logic, Symbolic and mathematical--Congresses
        Type: general
      – SubjectFull: Algebra, Boolean--Congresses
        Type: general
      – SubjectFull: Quasi-metric spaces--Congresses
        Type: general
      – SubjectFull: Petri nets--Congresses
        Type: general
      – SubjectFull: Set theory--Congresses
        Type: general
    Titles:
      – TitleFull: Logic, Computation, Hierarchies
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Vasco Brattka
      – PersonEntity:
          Name:
            NameFull: Hannes Diener
      – PersonEntity:
          Name:
            NameFull: Dieter Spreen
      – PersonEntity:
          Name:
            NameFull: Vasco Brattka
      – PersonEntity:
          Name:
            NameFull: Hannes Diener
      – PersonEntity:
          Name:
            NameFull: Dieter Spreen
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2014
            – D: 08
              M: 01
              Type: profile
              Y: 2015
          Identifiers:
            – Type: isbn-print
              Value: 9781614517832
            – Type: isbn-electronic
              Value: 9781614519409
          Numbering:
            – Type: volume
              Value: 00004
          Titles:
            – TitleFull: Logic, Computation, Hierarchies
              Type: main
ResultId 1