• RecordNumber
    32144
  • LC Class
    QA
  • LC Number
    9.65
  • LC CutterNumber
    .B64
  • Author

    Boerger, Egon, 1946-

  • Title

    classical decision problem

  • Author Statement
    Egon Boerger, Erich Gradel, Yuri Gurevich
  • Publication
    Springer
  • Publication Year
    1996
  • Collation
    xii, 482p.: illus.; 24 cm
  • Series
    Perspectives in mathematical logic
  • Subject

    Decidability (Mathematical logic)

  • ADDED ENTRIES
    Gradel, Erich, 1958-
  • Holding Info.
    354057073
  • Original By
    77/05
  • DocumentNumber
    44162
  • Biblography
    Includes bibliographical references and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=32144&Field=0&DTC=100