| 000 | 01149cam a2200349 a 4500 | ||
|---|---|---|---|
| 005 | 20251028093019.0 | ||
| 008 | 960715s1996 enka b 001 0 eng d | ||
| 001 | ocm35208402 | ||
| 010 | _a 96194203 | ||
| 020 | _a0471961981 (acid-free paper) | ||
| 020 | _a047196199X (pbk. : acid-free paper) | ||
| 035 | _a(Sirsi) i9780471961987 | ||
| 035 | _a(Sirsi) i9780471961987 | ||
| 035 | _a(Sirsi) i9780471961987 | ||
| 035 | _a(OCoLC)35208402 | ||
| 035 | _z(Sirsi) 99645 | ||
| 040 |
_aUk _cUk _dWaU _dDLC |
||
| 042 | _alccopycat | ||
| 050 | 0 | 4 |
_aQA9.54 _b.G367 1996 |
| 082 | 0 | 0 |
_a511.3 _221 |
| 100 | 1 | _aGarnier, Rowan. | |
| 245 | 1 | 0 |
_a100% mathematical proof / _cRowan Garnier, John Taylor. |
| 246 | 3 | _aOne hundred percent mathematical proof | |
| 260 |
_aChichester ; _aNew York : _bWiley, _cc1996. |
||
| 300 |
_aviii, 317 p. : _bill. ; _c25 cm. |
||
| 504 | _aIncludes bibliographical references (p. [273]-274) and index. | ||
| 650 | 0 | _aProof theory. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 700 | 1 |
_aTaylor, John, _d1957- |
|
| 856 | 4 |
_3Table of Contents _uhttp://www.loc.gov/catdir/toc/onix01/96194203.ht ml |
|
| 999 |
_c124563 _d124563 |
||