Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Mann, Allen L.
|
| Titolo: |
Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
|
| Pubblicazione: | Cambridge, UK ; New York : Cambridge University Press, 2011 |
| Descrizione fisica: | vi, 208 p. : ill. ; 23 cm |
| Disciplina: | 511.3 |
| Soggetto topico: | First-order logic |
| Game theory | |
| Classificazione: | AMS 91A44 |
| Altri autori: |
Sandu, Gabrielauthor
Sevenster, Merlijn
|
| Nota di bibliografia: | Includes bibliographical references (p. [198]-202) and index |
| ISBN: | 9780521149341 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991001806959707536 |
| Lo trovi qui: | Univ. del Salento |
| Opac: | Controlla la disponibilità qui |
Serie:
London Mathematical Society lecture note series, 0076-0552 ; 386