• RecordNumber
    17015
  • LC Class
    QA
  • LC Number
    9
  • LC CutterNumber
    .A1,L63
  • LC Date
    1985
  • Title

    Logic Colloquiumʹ 85

  • Publication
    North- Holland
  • Publication Year
    1987
  • Collation
    xiii, 308 p.: illus
  • Series
    Studies in logis and the foundations of mathematics v.122
  • Notes
    English and French
  • Subject

    Login, Symbolic and mathematical- Congresses

  • DocumentNumber
    25143
  • SubTitle
    : proceedings of the colloquium held in Orsay, France July 1985
  • Editor
    edited by the Paris Login Group
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=17015&Field=0&DTC=100