| 000 | 00557 a2200193 4500 | ||
|---|---|---|---|
| 020 | _a3540071490 | ||
| 022 | _a0387071490 | ||
| 035 | _aII 20283 | ||
| 082 | _a510.8 | ||
| 090 |
_c10927 _d10927 |
||
| 100 | _aToledo, Sue | ||
| 546 | _aeng | ||
| 245 |
_aTableau Systems for First Order Number Theory and Certain Higher Theories _cSue Toledo |
||
| 260 |
_aBerlin, Heidelberg, New York _bSpringer Verlag _c1975 |
||
| 300 |
_a337 p _c24 cm |
||
| 440 |
_aLecture notes in mathematics _v447 |
||
| 500 | _aContine bibliogr | ||
| 942 |
_aIMAR _cCART _sSN _sSN _k510.8 |
||
| 999 |
_c10715 _d10715 |
||