책 이미지
eBook 미리보기
책 정보
· 제목 : Automation of Logic (Hardcover, 1st)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 집합론
· ISBN : 9781439875353
· 쪽수 : 400쪽
· 출판일 : 2015-08-15
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 집합론
· ISBN : 9781439875353
· 쪽수 : 400쪽
· 출판일 : 2015-08-15
목차
Propositional Logic. First-Order Logic: Linear Arithmetic Structures. First-Order Logic: Ground Structures. First-Order Logic: Ground Structures with Theories. First-Order Logic: Free Structures. First-Order Logic: Free Structures with Theories.
