000			02024nam a2200469 i 4500
001			EBC4644584
003			MiAaPQ
005			20240121092514.0
006			m o d |
007			cr cnu||||||||
008			160903t20162016gw a ob 000 0 eng d
020			_z9781501510809
020			_a9781501502620 _q(electronic bk.)
020			_a9781501502644 _q(electronic bk.)
035			_a(MiAaPQ)EBC4644584
035			_a(Au-PeEL)EBL4644584
035			_a(CaPaEBR)ebr11247831
035			_a(CaONFJC)MIL947521
035			_a(OCoLC)958120545
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA9.54 _b.C663 2016
082	0		_a511.3/6 _223
245	0	0	_aConcepts of proof in mathematics, philosophy, and computer science / _cedited by Dieter Probst and Peter Schuster.
264		1	_aBerlin, [Germany] ; _aBoston, [Massachusetts] : _bDe Gruyter, _c2016.
264		4	_c2016
300			_a1 online resource (384 pages) : _billustrations, tables.
336			_atext _2rdacontent
337			_acomputer _2rdamedia
338			_aonline resource _2rdacarrier
490	1		_aOntos Mathematical Logic, _x2198-2341 ; _vVolume 6
504			_aIncludes bibliographical references at the end of each chapters.
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	_aProof theory.
650		0	_aMathematics.
650		0	_aLogic, Symbolic and mathematical.
655		4	_aElectronic books.
776	0	8	_iPrint version: _tConcepts of proof in mathematics, philosophy, and computer science. _dBerlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, c2016 _hx, 374 pages _kOntos Mathematical Logic ; Volume 6 _z9781501510809 _w2016030276
797	2		_aProQuest (Firm)
830		0	_aOntos mathematical logic ; _vVolume 6.
856	4	0	_uhttps://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=4644584 _zClick to View
999			_c263621 _d263621