|
|
|
|
LEADER |
00991nam a2200301 a 4500 |
001 |
2021274 |
005 |
20171112000013.0 |
008 |
041007s1987 gr r u000 0 eng d |
020 |
|
|
|a 0534066240
|
040 |
|
|
|a GR-AtUEB
|b gre
|
082 |
|
0 |
|a 511.3
|
100 |
1 |
0 |
|a Mendelson, Elliot
|
245 |
1 |
0 |
|a Introduction to mathematical logic
|
250 |
1 |
0 |
|a 3rd ed.
|
260 |
1 |
0 |
|a Monterey:
|b Wadsworth & Brooks/Cole Advanced Books & Software,
|c 1987
|
300 |
1 |
0 |
|a ix, 341p. :
|b fig. ; tables
|
490 |
0 |
0 |
|a The Wadsworth & Brooks/Cole mathematics series
|
500 |
0 |
0 |
|a Bibliography: p. 289-307
|
504 |
0 |
0 |
|a Includes bibliography and index.
|
650 |
1 |
7 |
|a Mathematics
|
650 |
1 |
7 |
|a Logic
|
650 |
1 |
7 |
|a Mathematical models
|
650 |
1 |
7 |
|a Algorithms
|
650 |
1 |
7 |
|a Quantum theory
|
650 |
1 |
7 |
|a Diagrams
|
650 |
1 |
0 |
|a Logic, Symbolic and mathematical
|
952 |
|
|
|a GR-AtNTU
|b 59cc26276c5ad13446f96723
|c 998a
|d 945l
|e 511.3 MEN
|t 3
|x m
|z Books
|
952 |
|
|
|a CY-NiOUC
|b 5a04388f6c5ad14ac1e99b86
|c 998a
|d 945l
|e QA9.M4 1987
|t 1
|x m
|z Books
|