Independence-friendly logic : a game-theoretic approach

著者

• Mann, Allen L. (Allen Lawrence)
• Sandu, Gabriel
• Sevenster, Merlijn

書誌事項

Independence-friendly logic : a game-theoretic approach

Allen L. Mann, Gabriel Sandu, Merlijn Sevenster

（London Mathematical Society lecture note series, 386）

Cambridge University Press, 2011

• : pbk

注記

Includes bibliographical references (p. [198]-202) and index

詳細情報

• NII書誌ID(NCID): BB05609510
• ISBN:
  • 9780521149341
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, U.K. ; Tokyo
• ページ数/冊数: vi, 208 p.
• 大きさ: 23 cm
• 分類:
  • DC22 : 511.3
• 件名:
  • LCSH : First-order logic
  • LCSH : Game theory
• 親書誌ID:
  • BA0005393X