|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
EBSCO_ocn728157655 |
003 |
OCoLC |
005 |
20231017213018.0 |
006 |
m o d |
007 |
cr cnu---unuuu |
008 |
110602s2011 enk ob 001 0 eng d |
040 |
|
|
|a N$T
|b eng
|e pn
|c N$T
|d E7B
|d OUN
|d OCLCQ
|d REDDC
|d OCLCQ
|d DEBSZ
|d OCLCQ
|d YDXCP
|d OCLCO
|d AUD
|d OCLCF
|d OCLCQ
|d CNCGM
|d UAB
|d OCLCQ
|d INT
|d OCLCQ
|d AU@
|d OCLCQ
|d S8J
|d LUN
|d OCLCQ
|d OCLCO
|d OCLCQ
|d UKAHL
|d QGK
|d OCLCO
|d OCLCQ
|
015 |
|
|
|a GBB0E2199
|2 bnb
|
019 |
|
|
|a 776973738
|a 855729299
|a 1090363811
|a 1167608727
|a 1259113592
|
020 |
|
|
|a 9781139077989
|q (electronic bk.)
|
020 |
|
|
|a 1139077988
|q (electronic bk.)
|
020 |
|
|
|a 9781139080279
|
020 |
|
|
|a 113908027X
|
020 |
|
|
|a 9780511981418
|q (ebook)
|
020 |
|
|
|a 0511981414
|q (ebook)
|
020 |
|
|
|z 9780521149341
|
020 |
|
|
|z 0521149347
|
020 |
|
|
|a 1107213398
|
020 |
|
|
|a 9781107213395
|
020 |
|
|
|a 1283112531
|
020 |
|
|
|a 9781283112536
|
020 |
|
|
|a 1139075721
|
020 |
|
|
|a 9781139075725
|
020 |
|
|
|a 9786613112538
|
020 |
|
|
|a 6613112534
|
020 |
|
|
|a 1139082558
|
020 |
|
|
|a 9781139082556
|
020 |
|
|
|a 1139069969
|
020 |
|
|
|a 9781139069960
|
029 |
1 |
|
|a DEBSZ
|b 372601766
|
035 |
|
|
|a (OCoLC)728157655
|z (OCoLC)776973738
|z (OCoLC)855729299
|z (OCoLC)1090363811
|z (OCoLC)1167608727
|z (OCoLC)1259113592
|
050 |
|
4 |
|a BC128
|b .M36 2011eb
|
072 |
|
7 |
|a MAT
|x 016000
|2 bisacsh
|
072 |
|
7 |
|a MAT
|x 018000
|2 bisacsh
|
082 |
0 |
4 |
|a 511.3
|2 22
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Mann, Allen L.
|q (Allen Lawrence)
|
245 |
1 |
0 |
|a Independence-friendly logic :
|b a game-theoretic approach /
|c Allen L. Mann, Gabriel Sandu, Merlijn Sevenster.
|
246 |
1 |
4 |
|a Combinatorics, geometry and probability
|
260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press,
|c 2011.
|
300 |
|
|
|a 1 online resource (vi, 208 pages)
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a London Mathematical Society lecture note series ;
|v 386
|
504 |
|
|
|a Includes bibliographical references (pages 198-202) and index.
|
588 |
0 |
|
|a Print version record.
|
505 |
0 |
0 |
|g Machine generated contents note:
|g 1.
|t Introduction --
|g 2.
|t Game theory --
|g 2.1.
|t Extensive games --
|g 2.2.
|t Strategic games --
|g 3.
|t First-order logic --
|g 3.1.
|t Syntax --
|g 3.2.
|t Models --
|g 3.3.
|t Game-theoretic semantics --
|g 3.4.
|t Logical equivalence --
|g 3.5.
|t Compositional semantics --
|g 3.6.
|t Satisfiability --
|g 4.
|t Independence-friendly logic --
|g 4.1.
|t Syntax --
|g 4.2.
|t Game-theoretic semantics --
|g 4.3.
|t Skolem semantics --
|g 4.4.
|t Compositional semantics --
|g 4.5.
|t Game-theoretic semantics redux --
|g 5.
|t Properties of IF logic --
|g 5.1.
|t Basic properties --
|g 5.2.
|t Extensions of IF logic --
|g 5.3.
|t Logical equivalence --
|g 5.4.
|t Model theory --
|g 6.
|t Expressive power of IF logic --
|g 6.1.
|t Definability --
|g 6.2.
|t Second-order logic --
|g 6.3.
|t Existential second-order logic --
|g 6.4.
|t Perfect recall --
|g 7.
|t Probabilistic IF logic --
|g 7.1.
|t Equilibrium semantics --
|g 7.2.
|t Monotonicity rules --
|g 7.3.
|t Behavioral strategies and compositional semantics --
|g 7.4.
|t Elimination of strategies --
|g 7.5.
|t Expressing the rationals --
|g 8.
|t Further topics --
|g 8.1.
|t Compositionality --
|g 8.2.
|t IF modal logic.
|
520 |
|
|
|a Bringing 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.
|
546 |
|
|
|a English.
|
590 |
|
|
|a eBooks on EBSCOhost
|b EBSCO eBook Subscription Academic Collection - Worldwide
|
650 |
|
0 |
|a First-order logic.
|
650 |
|
0 |
|a Game theory.
|
650 |
|
2 |
|a Game Theory
|
650 |
|
6 |
|a Logique du premier ordre.
|
650 |
|
6 |
|a Théorie des jeux.
|
650 |
|
7 |
|a MATHEMATICS
|x Infinity.
|2 bisacsh
|
650 |
|
7 |
|a MATHEMATICS
|x Logic.
|2 bisacsh
|
650 |
|
7 |
|a First-order logic.
|2 fast
|0 (OCoLC)fst00925803
|
650 |
|
7 |
|a Game theory.
|2 fast
|0 (OCoLC)fst00937501
|
700 |
1 |
|
|a Sandu, Gabriel.
|
700 |
1 |
|
|a Sevenster, Merlijn.
|
776 |
0 |
8 |
|i Print version:
|t Combinatorics, Geometry and Probability.
|d Cambridge Univ Pr 2011
|z 9780521149341
|w (OCoLC)694393901
|
830 |
|
0 |
|a London Mathematical Society lecture note series ;
|v 386.
|
856 |
4 |
0 |
|u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=366121
|z Texto completo
|
938 |
|
|
|a Askews and Holts Library Services
|b ASKH
|n AH13438658
|
938 |
|
|
|a ebrary
|b EBRY
|n ebr10469106
|
938 |
|
|
|a EBSCOhost
|b EBSC
|n 366121
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 5690236
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 6300876
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 6918200
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 6943981
|
994 |
|
|
|a 92
|b IZTAP
|