• RecordNumber
    19419
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .L28,no.
  • LC Date
    328
  • Dewey Class
    510
  • Dewey CutterNumber
    /.8 s 511
  • Dewey Date
    /.3
  • Author

    Buchi, J. Richard

  • Title

    monadic second order theory of all countable ordinals

  • Author Statement
    [by] J. Richard Buchi [and] Dirk Siefkes
  • Publication
    Springer
  • Publication Year
    1973
  • Collation
    vi, 217 p., 26 cm
  • Series
    Decidable theories, 2,Lecture notes in mathematics (Berlin) 328
  • Subject

    Godelʹs theorem,Model theory

  • ADDED ENTRIES
    Siefkes, Dirk, joint author
  • Holding Info.
    3387063455
  • Original By
    76/06
  • DocumentNumber
    4289
  • Biblography
    Includes bibliographies.
  • BL
    BL