|
LDR
| 01694nam a22004455i 4500 |
|---|
| 001 | 5530 |
|---|
| 003 | CONS |
|---|
| 005 | 20121026173551.0 |
|---|
| 007 | cr nn 008mamaa |
|---|
| 008 | 110907s2011 gw | s |||| 0|eng d |
|---|
| 020 | | . |
‡a9783642224157
‡9978-3-642-22415-7 |
|---|
| 024 | 7 | . |
‡a10.1007/978-3-642-22415-7
‡2doi |
|---|
| 035 | | . |
‡a(DE-He213)978-3-642-22415-7 |
|---|
| 050 | | 4. |
‡aQA75.5-76.95 |
|---|
| 072 | | 7. |
‡aUY
‡2bicssc |
|---|
| 072 | | 7. |
‡aUYA
‡2bicssc |
|---|
| 072 | | 7. |
‡aCOM014000
‡2bisacsh |
|---|
| 072 | | 7. |
‡aCOM031000
‡2bisacsh |
|---|
| 100 | 1 | . |
‡aBridges, Douglas S. |
|---|
| 245 | 1 | 0. |
‡aApartness and Uniformity
‡h[electronic resource] :
‡bA Constructive Development /
‡cby Douglas S. Bridges, Luminiţa Simona Vîţă. |
|---|
| 260 | | . |
‡aBerlin, Heidelberg :
‡bSpringer Berlin Heidelberg,
‡c2011. |
|---|
| 300 | | . |
‡aXIV, 198p. 3 illus.
‡bdigital. |
|---|
| 490 | 0 | . |
‡aTheory and Applications of Computability, In cooperation with the association Computability in Europe,
‡x2190-619X |
|---|
| 650 | | 0. |
‡aComputer science. |
|---|
| 650 | | 0. |
‡aInformation theory. |
|---|
| 650 | | 0. |
‡aGlobal analysis (Mathematics). |
|---|
| 650 | | 0. |
‡aLogic, Symbolic and mathematical. |
|---|
| 650 | | 0. |
‡aTopology. |
|---|
| 650 | 1 | 4. |
‡aComputer Science. |
|---|
| 650 | 2 | 4. |
‡aTheory of Computation. |
|---|
| 650 | 2 | 4. |
‡aMathematics of Computing. |
|---|
| 650 | 2 | 4. |
‡aTopology. |
|---|
| 650 | 2 | 4. |
‡aAnalysis. |
|---|
| 650 | 2 | 4. |
‡aMathematical Logic and Foundations. |
|---|
| 700 | 1 | . |
‡aVîţă, Luminiţa Simona. |
|---|
| 710 | 2 | . |
‡aSpringerLink (Online service) |
|---|
| 773 | 0 | . |
‡tSpringer eBooks |
|---|
| 776 | 0 | 8. |
‡iPrinted edition:
‡z9783642224140 |
|---|
| 830 | | 0. |
‡aTheory and Applications of Computability, In cooperation with the association Computability in Europe,
‡x2190-619X |
|---|
| 856 | 4 | 0. |
‡uhttp://dx.doi.org/10.1007/978-3-642-22415-7
‡9CONS |
|---|
| 950 | | . |
‡aComputer Science (Springer-11645) |
|---|
| 901 | | . |
‡a5530
‡b
‡c5530
‡tbiblio
‡sSystem Local |
|---|