|
|
|
|
| LEADER |
00589nam a22001694a 4500 |
| 008 |
140517n ii |||gr||||Z||||||eng |
| 020 |
|
|
|a 0-12-141252-0
|
| 100 |
|
|
|a Bundy,Alan.
|
| 245 |
1 |
|
|a The Computer Modelling Of Mathematical Reasoning
|h Textual Documents
|
| 250 |
|
|
|a 1983.
|
| 260 |
|
|
|a [s.l:
|b Academic Press,INC.,
|c 1983.
|
| 300 |
|
|
|a XV; 403p.:
|e 08358.
|
| 630 |
|
|
|a Statistics,Mathematical Logic,Negation.
|
| 852 |
|
|
|t 1
|p STA08358
|a S-19,R-1
|b General
|f 00000
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 218403
|d 218403
|
| 952 |
|
|
|0 0
|1 0
|4 0
|7 0
|9 232545
|a STA
|b STA
|d 2019-12-11
|l 0
|p STA08358
|r 2019-12-11
|t 1
|w 2019-12-11
|y BK
|