| 000 | 00740nam a2200217u 4500 | ||
|---|---|---|---|
| 001 | 00640336 | ||
| 003 | PWmBRO | ||
| 005 | 20240602100722.0 | ||
| 008 | 130587 | ||
| 090 | _b511.3/L832c | ||
| 111 | 3 | 0 |
_aLogic Colloquium _d(1983 : _cAachen) |
| 245 | 1 | 0 |
_aComputation and proof theory : _bproceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II / _cedited by M.M. Richter ... [et al.] |
| 260 |
_aBerlin : _bSpringer-Verlag, _c1984 |
||
| 300 | _a475p. | ||
| 490 | 1 | 0 |
_aLecture notes in mathematics ; _v1104 |
| 650 | _aProof theory. | ||
| 700 | 1 | 0 |
_aRichter, Michael M., _d1938- |
| 830 |
_aLecture notes in mathematics (Springer-Verlag) ; _v1104 |
||
| 942 | _2ddc | ||
| 994 | 0 | 1 | _aT1001 042 813 |
| 999 |
_c30397 _d30397 |
||