• RecordNumber
    72231
  • Author

    ISILC proof theory symposion, university of Kiel, 1974

  • Title

    ISILC proof theory symposion: dedicated to Kurt Schutte on the occasion of his 65th birthday: proceedings of ...

  • Editor
    edited by J. Diller, G. H. Muller
  • Publication
    Springer-Verlag
  • Publication Year
    c1975
  • Collation
    viii, 383p
  • Series
    Lecture notes in mathematics; 500
  • Bibliography
    Includes bibliographies
  • Subject

    Proof theory- CongressesSchütte, Kurt- Bibliography

  • ADDED ENTRIES
    Diller, Justus, ed , Series: Lecture notes in mathematics; 500
  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    I81i
  • Date
    1974
  • وارد كنندة اطلاعات
    fazel^d2004/01/17 10:46:50
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=72231&Field=0&DTC=2