000			02163nam a2200529 i 4500
001			EBC1652547
003			MiAaPQ
005			20240120160651.0
006			m o d |
007			cr cnu||||||||
008			140721t20142014maua ob 111 0 eng|d
020			_z9781614517832 (hd.bd.)
020			_z1614517835 (hd.bd.)
020			_a9781614518044 _q(electronic bk.)
035			_a(MiAaPQ)EBC1652547
035			_a(Au-PeEL)EBL1652547
035			_a(CaPaEBR)ebr11006242
035			_a(CaONFJC)MIL806143
035			_a(OCoLC)890071023
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA10.3 _b.L64 2014
245	0	0	_aLogic, computation, hierarchies / _cedited by Vasco Brattka, Hannes Diener, Dieter Spreen.
264		1	_aBoston : _bDe Gruyter, _c[2014]
264		4	_c2014
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. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest 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		4	_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 _z9781614517832 _w(OCoLC)ocn888956446 _w(DLC)11006242
797	2		_aProQuest (Firm)
830		0	_aOntos mathematical logic ; _vv. 4.
856	4	0	_uhttps://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=1652547 _zClick to View
999			_c110300 _d110300