Independence-Friendly Logic : A Game-Theoretic Approach
Allen L. Mann
Bok Engelsk 2011 · Electronic books.
| Annen tittel | |
|---|---|
| Utgitt | Cambridge : Cambridge University Press , 2011
|
| Omfang | 1 online resource (216 p.)
|
| Opplysninger | Description based upon print version of record.. - Cover; Series-title; Title; Copyright; Contents; 1 Introduction; 2 Game theory; 3 First-order logic; 4 Independence-friendly logic; 5 Properties of IF logic; 6 Expressive power of IF logic; 7 Probabilistic IF logic; 8 Further topics; References; Index. - A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.
|
| Emner | |
| Sjanger | |
| Dewey | |
| ISBN | 9780521149341
|
