• RecordNumber
    3233
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .L28,no.120
  • Dewey Class
    511
  • Dewey Date
    /.65
  • Author

    Siefkes, Dirk

  • Title

    Buchiʹs monadic second order successor arithmetic

  • Publication
    Springer-Verlag
  • Publication Year
    1970
  • Collation
    xii, 130 p., 26 cm
  • Series
    Lecture notes in mathematics, 120,Decidable theories 1
  • Subject

    Predicate calculus,Sequential machine theory

  • DocumentNumber
    2047
  • Biblography
    Bibliography: p. [125]-127.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=3233&Field=0&DTC=100