책 이미지
책 정보
· 제목 : Dependence Logic : A New Approach to Independence Friendly Logic (Hardcover)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521876599
· 쪽수 : 236쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521876599
· 쪽수 : 236쪽
목차
Preface; 1. Introduction; 2. Preliminaries; 3. Dependence logic; 4. Examples; 5. Game theoretic semantics; 6. Model Theory; 7. Complexity; 8. Team logic; 9. Solutions to selected exercises by Ville Nurmi; References; Index.
