Independence-Friendly Logic : A Game-Theoretic Approach (Paperback)

Preface; 1. Introduction; 2. Game theory; 3. First-order logic; 4. Independence-friendly (IF) logic; 5. Properties of IF logic; 6. Expressive power of IF logic; 7. Probabilistic IF logic; 8. Further topics; References; Index.