小哈圖書下載中心

Independence-Friendly Logic pdf epub mobi txt 電子書下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Allen L. Mann

2011-5

216

$ 82.49

London Mathematical Society Lecture Note Series

9780521149341

圖書標籤: 計算機科學數學 Spy Cambridge CUP 2011

喜歡 Independence-Friendly Logic 的讀者還喜歡

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-06-27

Independence-Friendly Logic epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2024

Independence-Friendly Logic pdf epub mobi txt 電子書下載 2024

圖書描述

Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs.

Independence-Friendly Logic 下載 mobi epub pdf txt 電子書