책 이미지
eBook 미리보기
책 정보
· 제목 : Extensions of First-Order Logic (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521019026
· 쪽수 : 412쪽
· 출판일 : 2005-08-22
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521019026
· 쪽수 : 412쪽
· 출판일 : 2005-08-22
목차
1. Standard second order logic; 2. Deductive calculi; 3. Categoricity of second order peano arithmetic; 4. Frames and general structures; 5. Type theory; 6. Many-sorted logic; 7. Applying MSL.
