|
|
|
|
| LEADER |
01589nam a2200397 a 4500 |
| 001 |
2008995 |
| 005 |
20171111235955.0 |
| 008 |
080414t2001 xu r 000 0 eng d |
| 020 |
|
|
|a 0122384520
|
| 040 |
|
|
|a GR-KeIUL
|b gre
|
| 082 |
|
0 |
|2 21 εκδ.
|a 511.3
|
| 100 |
1 |
0 |
|a Enderton, Herbert B.
|
| 245 |
1 |
2 |
|a A Mathematical introduction to logic/
|c Herbert B. Enderton
|
| 250 |
1 |
2 |
|a 2nd ed.
|
| 260 |
1 |
2 |
|a San Diego
|b Harcourt/ Academic Press,
|c c2001
|a New York:
|
| 300 |
1 |
2 |
|a xii, 317 σ. ;
|c 24 εκ.
|
| 500 |
1 |
2 |
|a ΤΠΛ
|
| 500 |
1 |
2 |
|a Includes index
|
| 504 |
1 |
2 |
|a Includes bibliographical references (p. 307-308).
|
| 504 |
1 |
2 |
|a Περιέχει βιβλιογραφικές αναφορές και ευρετήριο.
|
| 504 |
1 |
2 |
|a Includes suggestions for futher readings and index.
|
| 650 |
1 |
0 |
|a Λογική, Συμβολική και μαθηματική
|
| 650 |
1 |
0 |
|a Logic, Symbolic and mathematical
|
| 650 |
1 |
7 |
|a Mathematics
|
| 650 |
1 |
7 |
|a Logic
|
| 650 |
1 |
7 |
|a Computer programming languages
|
| 650 |
1 |
7 |
|a Algorithms
|
| 650 |
1 |
7 |
|a Symbolic logic
|
| 650 |
1 |
7 |
|a Mathematical models
|
| 650 |
1 |
7 |
|a Mathematical analysis
|
| 650 |
1 |
0 |
|a ΛΟΓΙΚΗ, ΣΥΜΒΟΛΙΚΗ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ
|
| 710 |
1 |
0 |
|a Harcourt/Academic Press
|
| 952 |
|
|
|a GR-VoPKT
|b 59cc87e56c5ad13446fe8cc9
|c 998a
|d 945l
|e 511.3 END
|t 1
|x m
|z Books
|
| 952 |
|
|
|a GrAtEKP
|b 59cd25836c5ad1344610bd0b
|c 998a
|d 945l
|e 511.3 EndH m 2001
|t 1
|x m
|z Books
|
| 952 |
|
|
|a GR-AtNTU
|b 59cc27f06c5ad13446f9aa0c
|c 998a
|d 945l
|e 511.3 END
|t 1
|x m
|z Books
|
| 952 |
|
|
|a GR-KeIUL
|b 59cc28166c5ad13446f9afac
|c 998a
|d 945l
|e 511.3 END
|t 2
|x m
|z Books
|
