| 000 | 00800nam a2200253 a 4500 | ||
|---|---|---|---|
| 008 | 981208s1975 gw b 000 0 eng d | ||
| 020 | _a0387071490 | ||
| 040 | _aUKM | ||
| 090 |
_aQA9.54 _b.T658 |
||
| 100 | 1 |
_aToledo, Sue Ann, _d1940- |
|
| 245 | 1 | 0 |
_aTableau systems for first order number theory and certain higher order theories / _cSue Toledo. |
| 260 |
_aBerlin : _bSpringer-Verlag, _c1975. |
||
| 300 |
_a339 p. ; _c25 cm. |
||
| 504 | _aBibliography: p. 335-339. | ||
| 650 | 0 | _aProof theory | |
| 650 | 0 | _aNumber theory | |
| 650 | 0 | _aPredicate calculus | |
| 907 |
_a.b12274975 _b2023-12-26 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kQA9.54 .T658 |
||
| 914 | _avtls000234716 | ||
| 990 | _aza | ||
| 991 | _aFakulti Sains Matematik | ||
| 998 |
_at _b1999-05-08 _cm _da _feng _ggw _y0 _z.b12274975 |
||
| 999 |
_c228853 _d228853 |
||