책 이미지
eBook 미리보기
책 정보
· 제목 : Independence-Friendly Logic : A Game-Theoretic Approach (Paperback)
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9780521149341
· 쪽수 : 216쪽
· 출판일 : 2011-05-05
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9780521149341
· 쪽수 : 216쪽
· 출판일 : 2011-05-05
목차
Preface; 1. Introduction; 2. Game theory; 3. First-order logic; 4. Independence-friendly (IF) logic; 5. Properties of IF logic; 6. Expressive power of IF logic; 7. Probabilistic IF logic; 8. Further topics; References; Index.
