책 이미지
eBook 미리보기
책 정보
· 제목 : Modal Logic (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521527149
· 쪽수 : 578쪽
· 출판일 : 2002-08-22
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521527149
· 쪽수 : 578쪽
· 출판일 : 2002-08-22
목차
1. Basic concepts; 2. Models; 3. Frames; 4. Completeness; 5. Algebras and general frames; 6. Computability and complexity; 7. Extended modal logic.
