000 | 02042nam a2200481 i 4500 | ||
---|---|---|---|
001 | ebr11006242 | ||
003 | CaPaEBR | ||
007 | cr cn||||||||| | ||
008 | 140721t20142014maua ob 111 0 eng|d | ||
020 | _z9781614517832 (hd.bd.) | ||
020 | _z1614517835 (hd.bd.) | ||
020 | _a9781614518044 (e-book) | ||
040 |
_aCaPaEBR _beng _erda _epn _cCaPaEBR |
||
035 | _a(OCoLC)890071023 | ||
050 | 1 | 4 |
_aQA10.3 _b.L64 2014eb |
245 | 0 | 0 |
_aLogic, computation, hierarchies / _cedited by Vasco Brattka, Hannes Diener, Dieter Spreen. |
264 | 1 |
_aBoston : _bDe Gruyter, _c[2014] |
|
264 | 4 | _c�2014 | |
300 |
_a1 online resource (423 pages) : _billustrations. |
||
336 |
_atext _2rdacontent |
||
337 |
_acomputer _2rdamedia |
||
338 |
_aonline resource _2rdacarrier |
||
490 | 1 |
_aOntos mathematical logic, _x2198-2341 ; _vvolume 4 |
|
504 | _aIncludes bibliographical references and index. | ||
588 | _aDescription based on print version record. | ||
590 | _aElectronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries. | ||
650 | 0 |
_aLogic, Symbolic and mathematical _vCongresses. |
|
650 | 0 |
_aAlgebra, Boolean _vCongresses. |
|
650 | 0 |
_aQuasi-metric spaces _vCongresses. |
|
650 | 0 |
_aPetri nets _vCongresses. |
|
650 | 0 |
_aSet theory _vCongresses. |
|
655 | 0 | _aElectronic books. | |
700 | 1 |
_aSelivanov, Victor, _ehonouree. |
|
700 | 1 |
_aBrattka, Vasco, _d1966- _eeditor. |
|
700 | 1 |
_aDiener, Hannes, _eeditor. |
|
700 | 1 |
_aSpreen, Dieter, _eeditor. |
|
776 | 0 | 8 |
_iPrint version: _tLogic, computation, hierarchies. _dBoston : De Gruyter, [2014] _hx, 413 pages ; 24 cm. _kOntos mathematical logic ; volume 4 _x2198-2341 ; _z9781614517832 _w(OCoLC)ocn888956446 _w(DLC)11006242 |
797 | 2 | _aebrary. | |
830 | 0 |
_aOntos mathematical logic ; _vv. 4. |
|
856 | 4 | 0 |
_uhttp://site.ebrary.com/lib/kliuc/Doc?id=11006242 _zAn electronic book accessible through the World Wide Web; click to view |
942 |
_2lcc _cEBK |
||
999 |
_c125591 _d125591 |