000			02186nam a22004098a 4500
001			CR9780511981418
003			UkCbUP
005			20160624102259.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			101018s2011||||enk s ||1 0|eng|d
020			_a9780511981418 (ebook)
020			_z9780521149341 (paperback)
040			_aUkCbUP _cUkCbUP _erda
050	0	0	_aBC128 _b.M36 2011
082	0	0	_an/a _2n/a
100	1		_aMann, Allen L., _eauthor.
245	1	0	_aIndependence-Friendly Logic : _bA Game-Theoretic Approach / _cAllen L. Mann, Gabriel Sandu, Merlijn Sevenster.
260		1	_aCambridge : _bCambridge University Press, _c2011.
264		1	_aCambridge : _bCambridge University Press, _c2011.
300			_a1 online resource (216 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	0		_aLondon Mathematical Society Lecture Note Series ; _vno. 386
500			_aTitle from publisher's bibliographic system (viewed on 16 Oct 2015).
520			_aBringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs.
650		0	_aFirst-order logic
650		0	_aGame theory
700	1		_aSandu, Gabriel, _eauthor.
700	1		_aSevenster, Merlijn, _eauthor.
776	0	8	_iPrint version: _z9780521149341
786			_dCambridge
830		0	_aLondon Mathematical Society Lecture Note Series ; _vno. 386.
856	4	0	_uhttp://dx.doi.org/10.1017/CBO9780511981418
942			_2EBK12117 _cEBK
999			_c41411 _d41411