• RecordNumber
    46181
  • LC Class
    QA
  • LC Number
    9
  • LC CutterNumber
    .M294
  • Author

    Manaster, Alfred B., 1938-

  • Title

    Completeness, compactness, and undecidability

  • Author Statement
    Alfred B. Manaster
  • Publication
    Prentice-Hall of India
  • Collation
    vi, 154 p. ; 24 cm
  • Notes
    Includes index
  • Subject

    Logic, Symbolic and mathematical , Predicate calculus

  • SubTitle
    an introduction to mathematical logic
  • Index
    Bibliography: p. 149-150
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=46181&Field=0&DTC=100