Independence-friendly logic
Subtitle: a game-theoretic approach
By: by Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
Contributors: Sandu, Gabriel; Sevenster, Merlijn
Series: London Mathematical Society lecture note series -- 386; London Mathematical Society lecture note series -- 386.
Publisher: Cambridge University Press
Published: 2011
Place of publication: Cambridge, UK; New York
Language: eng
Number of pages: 208
ISBN-13: 9780521149341
Subjects: First-order logic; Game theory
Description: A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.
Notes: Includes bibliographical references (p. [198]-202) and index.