000			01919nam a22004815i 4500
001			u378327
003			SIRSI
005			20160812084548.0
007			cr nn 008mamaa
008			101125s2011 ne | s |||| 0|eng d
020			_a9789400704855 _9978-94-007-0485-5
040			_cMX-MeUAM
050		4	_aT385
050		4	_aTA1637-1638
050		4	_aTK7882.P3
082	0	4	_a006.6 _223
100	1		_aGabbay, Dov M. _eeditor.
245	1	0	_aHandbook of Philosophical Logic _h[recurso electrónico] : _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	_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-94-007-0485-5
596			_a19
942			_cLIBRO_ELEC
999			_c206207 _d206207