| 000 | 01281 a2200277 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20221031123118.0 | ||
| 010 | _a 96194203 | ||
| 020 | _a0471961981 (acid-free paper) | ||
| 020 | _a047196199X (pbk. : acid-free paper) | ||
| 035 | _a(OCoLC)35208402 | ||
| 040 | _cNust | ||
| 082 | 0 | 0 | _a510,GAR |
| 100 | 1 |
_aGarnier, Rowan. _9101955 |
|
| 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. |
||
| 505 | _aProofs, Mathematical and Non-Mathematical (Page-1), Propositional Logic (Page-15), Predicate Logic (Page-630), Axiom Systems and Formal Proof (Page-89), Direct Proof (Page-121), Direct Proof Variations (Page-167), Existence and Uniqueness Proofs (Page-185), further Proof Techniques (Page-209), Mathematical Induction (Page-239). | ||
| 650 | 0 |
_aLogic, Symbolic and mathematical. _936546 |
|
| 650 | 0 |
_aProof theory. _982454 |
|
| 700 | 1 |
_aTaylor, John, _d1957- _9101956 |
|
| 856 | 4 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0706/96194203-d.html |
|
| 856 | 4 |
_3Table of Contents _uhttp://www.loc.gov/catdir/toc/onix01/96194203.html |
|
| 942 |
_2ddc _cBK _k510,GAR |
||
| 999 |
_c179851 _d179851 |
||