000			01950nam a22004935i 4500
001			978-94-007-0485-5
003			DE-He213
005			20140220083830.0
007			cr nn 008mamaa
008			101125s2011 ne | s |||| 0|eng d
020			_a9789400704855 _9978-94-007-0485-5
024	7		_a10.1007/978-94-007-0485-5 _2doi
050		4	_aT385
050		4	_aTA1637-1638
050		4	_aTK7882.P3
072		7	_aUYQV _2bicssc
072		7	_aCOM016000 _2bisacsh
082	0	4	_a006.6 _223
100	1		_aGabbay, Dov M. _eeditor.
245	1	0	_aHandbook of Philosophical Logic _h[electronic resource] : _bVolume 15 / _cedited by Dov M. Gabbay, Franz Guenthner.
264		1	_aDordrecht : _bSpringer Netherlands, _c2011.
300			_aXIV, 402 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aHandbook of Philosophical Logic ; _v15
505	0		_aEditorial Preface -- Dov M. Gabbay -- Lambda Calculi: A Guide -- Chris Hankin -- Interpolation and Definability -- Dov Gabbay and Larisa L. Maksimova -- Discourse Representation Theory -- Hans Kamp, Josef van Genabith and Uwe Reyle -- Index.
520			_aLambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
650		0	_aComputer science.
650		0	_aComputer vision.
650	1	4	_aComputer Science.
650	2	4	_aComputer Imaging, Vision, Pattern Recognition and Graphics.
650	2	4	_aPhilosophy.
650	2	4	_aLinguistics (general).
700	1		_aGuenthner, Franz. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9789400704848
830		0	_aHandbook of Philosophical Logic ; _v15
856	4	0	_uhttp://dx.doi.org/10.1007/978-94-007-0485-5
912			_aZDB-2-SHU
999			_c109300 _d109300