Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster.

Saved in:
Bibliographic Details
Main Author: Mann, Allen L. (Allen Lawrence)
Other Authors: Sandu, Gabriel, Sevenster, Merlijn
Format: Book
Language:English
Published: Cambridge, UK ; New York : Cambridge University Press, 2011.
Series:London Mathematical Society lecture note series ; 386.
Subjects:

MARC

LEADER 00000cam a2200000 a 4500
001 b1635305
003 MWH
005 20110722090807.0
008 101111s2011 enka b 001 0 eng c
015 |a GBB0E2199  |2 bnb 
020 |a 9780521149341 (pbk.) 
020 |a 0521149347 (pbk.) 
035 |a (OCoLC)722705580 
035 |a (OCoLC)722705580 
040 |a EQO  |c EQO  |d CDX  |d MIA  |d IQU  |d YDXCP  |d BWX 
042 |a pcc 
049 |a HCDD 
050 4 |a BC128  |b .M36 2011 
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. 
260 |a Cambridge, UK ;  |a New York :  |b Cambridge University Press,  |c 2011. 
300 |a vi, 208 p. :  |b ill. ;  |c 23 cm. 
490 1 |a London Mathematical Society lecture note series ;  |v 386 
504 |a Includes bibliographical references (p. [198]-202) and index. 
650 0 |a First-order logic. 
650 0 |a Game theory. 
700 1 |a Sandu, Gabriel. 
700 1 |a Sevenster, Merlijn. 
830 0 |a London Mathematical Society lecture note series ;  |v 386. 
907 |a .b16353055  |b 01-04-12  |c 07-22-11 
998 |a hd  |b 08-01-11  |c m  |d a   |e -  |f eng  |g enk  |h 0  |i 0 
994 |a C0  |b HCD 
945 |f  - -   |g 1  |h 0  |i 38400003907795  |j  - -   |k  - -   |l hddin  |o -  |p $0.00  |q -  |r -  |s -   |t 0  |u 0  |v 0  |w 0  |x 0  |y .i16173752  |z 08-01-11 
999 f f |i 2d3cb005-89ff-51bf-b929-e9d1cddde210  |s 385776a9-cb91-5458-8ff4-e414b1121444  |t 0 
952 f f |p Can Circulate  |a College of the Holy Cross  |b Main Campus  |c Dinand  |d Dinand Library  |t 0  |e BC128 .M36 2011  |h Library of Congress classification  |i Book  |m 38400003907795