|
" Independence-friendly logic : "
by Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
630580
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Mann, Allen L., (Allen Lawrence)
|
| Title & Author
|
:
|
Independence-friendly logic : : a game-theoretic approach /\ by Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
|
| Publication Statement
|
:
|
Cambridge, UK ;New York :: Cambridge University Press,, 2011
|
| Series Statement
|
:
|
London Mathematical Society lecture note series ;; 386
|
| Page. NO
|
:
|
vi, 208 p. :: ill. ;; 23 cm
|
| ISBN
|
:
|
9780521149341 (pbk.)
|
|
|
:
|
: 0521149347 (pbk.)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. [198]-202) and index
|
| Subject
|
:
|
First-order logic
|
| Subject
|
:
|
Game theory
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
BC128.M36 2011
|
| Added Entry
|
:
|
Sandu, Gabriel
|
|
|
:
|
Sevenster, Merlijn
|
| |