이미 소장하고 있다면 판매해 보세요.
|
|
1. 복합명제
2. 들어가는 말 3. 논리적 동치 4. 진리함수들 5. 진리나무 6. 이 방법의 적합성, 나무와 증명 7. 양화 8. 양화사의 추론 규칙들 9. 다항 양화, 옮김 10. 나무방법의 적합성 11. 동일성, 함수 12. 결정불가능성, 불완전성 |