|
|
|
|
| LEADER |
00853nam a2200241 a 4500 |
| 001 |
672349 |
| 005 |
20171111230442.0 |
| 008 |
010329s1983 enk r 000 0 eng d |
| 020 |
|
|
|a 0121412520
|q χαρτόδ.
|
| 020 |
|
|
|a 0121412504
|q σκληρόδετο
|
| 040 |
|
|
|a GR-KoDPT
|b gre
|e AACR2
|
| 050 |
|
|
|a QA76.95
|b .B86 1983
|
| 082 |
|
0 |
|2 19
|a 511.3
|
| 100 |
1 |
|
|a Bundy, Alan
|
| 245 |
1 |
4 |
|a The computer modelling of mathematical reasoning/
|c Alan Bundy
|
| 260 |
|
|
|a London ;
|b Academic Press,
|c 1983
|a New York:
|
| 300 |
|
|
|a xiv, 322 σ. :
|b εικ. ;
|c 23 εκ.
|
| 500 |
|
|
|a Περιέχει ευρετήριο
|
| 504 |
|
|
|a Βιβλιογραφία: σ. 312-317
|
| 650 |
|
0 |
|a Mathematics
|x Data processing
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|
| 710 |
|
|
|a Academic Press
|
| 952 |
|
|
|a GR-KoDPT
|b 59cc1ddb6c5ad13446f809e0
|c 998a
|d 945l
|e QA 76 .95
|t 1
|x m
|z Books
|
