책 이미지
책 정보
· 제목 : Bounded Variable Logics and Counting : A Study in Finite Models (Hardcover) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781107167940
· 쪽수 : 193쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781107167940
· 쪽수 : 193쪽
목차
Preface; Introduction; 1. Definitions and preliminaries; 2. The games and their analysis; 3. The invariants; 4. Fixed-point logic with counting; 5. Related Lindstrom extensions; 6. Canonization problems; 7. Canonization for two variables; Bibliography; Index.
저자소개
추천도서
분야의 베스트셀러 >