Cargando…
Dependence logic : a new approach to independence friendly logic /
A systematic logical study of dependence also providing a precise treatment of independence friendly logic.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press,
2007.
|
| Colección: | London Mathematical Society student texts ;
70. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn166130893 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 070820s2007 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d NRU |d AUD |d UAB |d IDEBK |d OCLCO |d EBLCP |d OCLCQ |d DEBSZ |d OCLCQ |d OCLCF |d COO |d OCLCQ |d HEBIS |d OCLCQ |d XOS |d OCLCQ |d OCLCO |d AU@ |d OL$ |d OCLCQ |d S8J |d OCLCQ |d I8H |d UX0 |d LUN |d OCLCQ |d AUW |d OCLCO |d UKAHL |d OCLCO |d OCLCQ | ||
| 015 | |a GBA736074 |2 bnb | ||
| 016 | 7 | |a 013737361 |2 Uk | |
| 019 | |a 170958016 |a 191035884 |a 213380398 |a 612989583 |a 806234829 |a 1004614675 |a 1167573082 | ||
| 020 | |a 9780511286858 |q (electronic bk.) | ||
| 020 | |a 0511286856 |q (electronic bk.) | ||
| 020 | |a 0511285396 | ||
| 020 | |a 9780511285394 | ||
| 020 | |a 0521700159 |q (paper) | ||
| 020 | |a 9780521700153 |q (paper) | ||
| 020 | |a 0521876591 |q (cloth) | ||
| 020 | |a 9780521876599 |q (cloth) | ||
| 020 | |a 0511286139 |q (electronic bk.) | ||
| 020 | |a 9780511286131 |q (electronic bk.) | ||
| 020 | |a 9780511611193 |q (ebook) | ||
| 020 | |a 0511611196 |q (ebook) | ||
| 020 | |z 6610910022 | ||
| 020 | |z 9786610910021 | ||
| 029 | 1 | |a AU@ |b 000042902257 | |
| 029 | 1 | |a DEBSZ |b 379301342 | |
| 029 | 1 | |a DEBSZ |b 445562048 | |
| 029 | 1 | |a NZ1 |b 12233954 | |
| 035 | |a (OCoLC)166130893 |z (OCoLC)170958016 |z (OCoLC)191035884 |z (OCoLC)213380398 |z (OCoLC)612989583 |z (OCoLC)806234829 |z (OCoLC)1004614675 |z (OCoLC)1167573082 | ||
| 050 | 4 | |a BC128 |b .V33 2007eb | |
| 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 Väänänen, J. |q (Jouko), |d 1950- | |
| 245 | 1 | 0 | |a Dependence logic : |b a new approach to independence friendly logic / |c Jouko Väänänen. |
| 260 | |a Cambridge : |b Cambridge University Press, |c 2007. | ||
| 300 | |a 1 online resource (ix, 225 pages) : |b illustrations | ||
| 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 student texts ; |v 70 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; 1 Introduction; 2 Preliminaries; 3 Dependence logic; 4 Examples; 5 Game theoretic semantics; 6 Model theory; 7 Complexity; 8 Team logic; Appendix Solutions to selected exercises, by Ville Nurmi; References; Index. | |
| 520 | |a A systematic logical study of dependence also providing a precise treatment of independence friendly logic. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a First-order logic. | |
| 650 | 6 | |a Logique du premier ordre. | |
| 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 Mathematische Logik |2 gnd | |
| 776 | 0 | 8 | |i Print version: |a Väänänen, J. (Jouko), 1950- |t Dependence logic. |d Cambridge : Cambridge University Press, 2007 |z 9780521876599 |z 0521876591 |w (OCoLC)132288227 |
| 830 | 0 | |a London Mathematical Society student texts ; |v 70. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=198885 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH13426680 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL295763 | ||
| 938 | |a EBSCOhost |b EBSC |n 198885 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 91002 | ||
| 938 | |a YBP Library Services |b YANK |n 2609441 | ||
| 938 | |a YBP Library Services |b YANK |n 2620476 | ||
| 938 | |a YBP Library Services |b YANK |n 2620556 | ||
| 994 | |a 92 |b IZTAP | ||