| 000 | 01040 a2200277 4500 | ||
|---|---|---|---|
| 010 | _a 75040482 | ||
| 020 | _a038707533X (New York) | ||
| 020 | _a354007533X (Berlin) | ||
| 035 | _aP I 1749 | ||
| 082 | 0 | 0 |
_a510/.8 s _a511/.3 |
| 090 |
_c29805 _d29805 |
||
| 245 | 0 | 0 |
_aISILC Proof Theory Symposion _bdedicated to Kurt SchuÃŒÂ(tte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 _cedited by J. Diller and G. H. Muller |
| 260 |
_aBerlin _aNew York _bSpringer-Verlag _cc1975 |
||
| 300 |
_aviii, 383 p _c25 cm |
||
| 490 |
_aLecture notes in mathematics _v500 _xISSN 0075-8434 |
||
| 500 | _aText in English or German | ||
| 500 | _aCuprinde bibliografie pe capitole | ||
| 600 | _aSchutte, Kurt | ||
| 650 |
_aProof theory _xCongresses |
||
| 650 |
_aSchutte, Kurt _cBibliography |
||
| 700 | _aSchutte, Kurt | ||
| 700 | _aDiller, Justus | ||
| 700 |
_aMuller, G. H _d1923 - |
||
| 830 | _aLecture notes in mathematics (Springer-Verlag) | ||
| 942 |
_aIMAR _cCART _sMD |
||
| 999 |
_c29507 _d29507 |
||