|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
21487 |
| 003 |
MY-KLNDU |
| 005 |
20241218080711.0 |
| 008 |
s1996 xxka bi 001 0 eng |
| 010 |
|
|
|a 96-194203
|
| 020 |
|
|
|a 047196199X (pbk)
|
| 020 |
|
|
|a 0471961981 (hbk)
|
| 035 |
|
|
|a 0000036397
|
| 039 |
|
9 |
|a 201211301154
|b shahrim
|c 200911181224
|d VLOAD
|y 200910091707
|z VLOAD
|
| 040 |
|
|
|a UPNM
|
| 090 |
|
|
|a QA 9.54
|b .G367 1996
|
| 100 |
1 |
|
|a Garnier, Rowan.
|
| 245 |
1 |
0 |
|a 100% mathematical proof
|c Rowan Garnier, John Taylor.
|
| 246 |
3 |
0 |
|a One hundred percent mathematical proof
|
| 260 |
|
|
|a Chichester
|b Wiley
|c 1996.
|
| 300 |
|
|
|a viii, 317 p.
|b ill.
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Proof theory.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 700 |
|
|
|a Taylor, John
|d 1957-
|
| 999 |
|
|
|a vtls000031069
|c 21487
|d 21487
|
