Dependence Logic : A New Approach to Independence Friendly Logic. [electronic resource]

• 作者： Vaananen, Jouko.
• 其他作者：
  • Ebooks Corporation.
• 出版： Leiden : Cambridge University Press
• 叢書名： London Mathematical Society student texts
• 主題： Electronic books.
• ISBN： 9780511285394 (electronic bk.) 、 9780521876599 (print)
• FIND@SFXID: CGU
• 資料類型: 電子書
• 內容註: Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; 1 Introduction; 2 Preliminaries; 3 Dependence logic; 4 Examples; 5 Game theoretic semantics; 6 Model theory; 7 Complexity; 8 Team logic; Appendix Solutions to selected exercises, by Ville Nurmi; References; Index
• More
• 摘要註: A systematic logical study of dependence also providing a precise treatment of independence friendly logic.
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: