000			02017nam a2200469 i 4500
001			ebr11006242
003			CaPaEBR
006			m o d
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/rucke/Doc?id=11006242 _zAn electronic book accessible through the World Wide Web; click to view
999			_c152162 _d152162