• RecordNumber
    15867
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .L28,no.
  • LC Date
    500
  • Dewey Class
    510
  • Dewey CutterNumber
    /.8 s 511
  • Dewey Date
    /.3
  • Title

    ISILC Proof Theory Symposion

  • Author Statement
    edited by J. Diller and G. H. Muller
  • Publication
    Springer-Verlag
  • Collation
    viii, 383 p. ; 25 cm
  • Series
    Lecture notes in mathematics ; 500
  • Notes
    Text in English or German
  • Subject

    Proof theory -- Congresses,Schutte, K. -- (Kurt) -- Bibliography

  • ADDED ENTRIES
    Schutte, K. (Kurt),Diller, Justus,Muller, G. H. (Gert Heinz), 1923-,International Summer Institute and Logic Colloquium, University of Kiel, 1974
  • Holding Info.
    038707533
  • DocumentNumber
    7185
  • SubTitle
    :dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
  • Biblography
    Includes bibliographies.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=15867&Field=0&DTC=100