• RecordNumber
    46170
  • LC Class
    QA
  • LC Number
    9
  • LC CutterNumber
    .C795
  • Author

    Crossley, John N

  • Title

    Constructive order types

  • Author Statement
    [By] John N. Crossley
  • Publication
    North-Holland Pub. Co.
  • Collation
    225 p.: ill.; 23 cm
  • Series
    Studies in logic and the foundations of mathematics
  • Subject

    Logic, Symbolic and mathematical

  • Index
    Bibliography: p. [215]-216
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=46170&Field=0&DTC=100