• RecordNumber
    26760
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .P78
  • LC Date
    1994
  • Dewey Class
    510
  • Author

    Post, Emil Leon, 1897-1954

  • Uni. Title
    Works. 1994
  • Title

    Solvability, provability, definability

  • Author Statement
    Martin Davis, editor
  • Publication
    Birkhauser
  • Publication Year
    1994
  • Collation
    xxviii, 554 p.; 27 cm
  • Series
    Contemporary mathematicians
  • Subject

    Post, Emil Leon,- 1897-1954,Logic, Symbolic and mathematical

  • ADDED ENTRIES
    Davis, Martin, 1928-
  • Holding Info.
    0817635793
  • Original By
    1376/01/19
  • DocumentNumber
    40260
  • SubTitle
    : the collected works of Emil L. Post
  • Biblography
    Includes bibliographical references
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=26760&Field=0&DTC=100