이미 소장하고 있다면 판매해 보세요.
- 국내배송만 가능
- 문화비소득공제 가능
책소개
목차
|
1. 복합명제
2. 들어가는 말 3. 논리적 동치 4. 진리함수들 5. 진리나무 6. 이 방법의 적합성, 나무와 증명 7. 양화 8. 양화사의 추론 규칙들 9. 다항 양화, 옮김 10. 나무방법의 적합성 11. 동일성, 함수 12. 결정불가능성, 불완전성 |
품목정보
- 발행일
- 1987년 03월 31일
- 쪽수, 무게, 크기
- 320쪽 | 148*210*30mm
- ISBN13
- 9788930624046
