Title: Independence-friendly logic
Description: A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.
Subjects: First-order logic, Game theory