|
|
|
|
| LEADER |
00761nam a2200217 a 4500 |
| 001 |
546755 |
| 005 |
20171111230011.0 |
| 008 |
070823s2007 enka b 001 0 eng d |
| 020 |
|
|
|a 0521876591 (hbk.)
|
| 020 |
|
|
|a 9780521876599 (hbk.)
|
| 020 |
|
|
|a 0521700159 (pbk.)
|
| 040 |
|
|
|a UKM
|
| 050 |
|
4 |
|a BC128
|b .V33 2007
|
| 082 |
|
4 |
|2 22
|a 511.3
|
| 100 |
1 |
4 |
|a Väänänen, J.
|d 1950-
|q (Jouko),
|
| 245 |
1 |
4 |
|a Dependence logic :
|b a new approach to independence friendly logic /
|c Jouko Väänänen.
|
| 260 |
1 |
4 |
|a Cambridge :
|b Cambridge University Press,
|c 2007.
|
| 300 |
1 |
4 |
|a ix, 225 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
1 |
4 |
|a Includes bibliographical references and index.
|
| 650 |
1 |
4 |
|a First-order logic
|
| 952 |
|
|
|a GrThPMO
|b 59b00efc6c5ad17d7e5abc7b
|c 952a
|d 9528
|e BC128.V33 2007
|t 7
|x m
|z Books
|
