• RecordNumber
    20645
  • LC Class
    Z
  • LC Number
    6654
  • LC CutterNumber
    .M26,O47
  • Dewey Class
    016
  • Dewey Date
    .5113
  • Title

    [Omega]--bibliography of mathematical logic

  • Author Statement
    edited by Gert H. Muller in collaboration with Wolfgang Lenski
  • Publication
    Springer-Verlag
  • Publication Year
    c1987-
  • Collation
    v. <1-6 >; 28 cm
  • Series
    Perspectives in mathematical logic
  • Contents
    v. 1. Classical logic -- v. 2. Non-classical logics -- v. 3. Model theory -- v. 4. Recursion theory -- v. 5. Set theory -- v. 6. Proof theory ; Constructive mathematics
  • Subject

    Logic, Symbolic and mathematical- Bibliography

  • ADDED ENTRIES
    Muller, G. H,Title: Bibliography of mathematical logic
  • Holding Info.
    0387173218,0387173218
  • Original By
    76/07
  • DocumentNumber
    39610
  • Index
    Includes indexes
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=20645&Field=0&DTC=100