|
|
|
|
| LEADER |
00770nam a2200217 a 4500 |
| 001 |
500637 |
| 005 |
20171111225927.0 |
| 008 |
940411s1994 enka b 001 0 eng |
| 020 |
|
|
|a 0201544296
|
| 040 |
|
|
|a DLC
|
| 050 |
|
|
|a QA76.9.S88
|b S29 1994
|
| 082 |
|
|
|2 20
|a 004.2/1
|
| 100 |
1 |
|
|a Scheurer, Thierry
|
| 245 |
1 |
|
|a Foundations of computing :
|b system development with set theory and logic /
|c Thierry Scheurer.
|
| 260 |
1 |
|
|a Wokingham, England ;
|b Addison-Wesley,
|c c1994.
|a Reading, Mass. :
|
| 300 |
1 |
|
|a xxiv, 668 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
1 |
|
|a Includes bibliographical references (p. 647-648) and index.
|
| 650 |
1 |
|
|a System design
|
| 650 |
1 |
|
|a Set theory
|
| 650 |
1 |
|
|a Logic, Symbolic and mathematical
|
| 952 |
|
|
|a GrThPMO
|b 59afe4386c5ad17d7e59fd72
|c 952a
|d 9528
|e -
|t 1
|x m
|z Books
|
