| 000 | 00335 a2200121 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c29966 _d29966 |
||
| 245 |
_aProvability in elementary type theory _cPeter B. Andrews |
||
| 260 |
_aCarnegie-Mellon _bUniversity Carnegie-Mellon _c1972 |
||
| 300 |
_a17 p _c28 cm |
||
| 500 | _aContine bibliografie | ||
| 942 |
_aIMAR _cCART _sSN |
||
| 999 |
_c29668 _d29668 |
||