이미 소장하고 있다면 판매해 보세요.
|
☎현재 문의량이 많아 전화 연결이 지연될 수 있습니다. 신속한 처리를 위해 주문번호를 반드시 기재하여 ‘판매자 문의하기’로 남겨주시면 확인 후 최대한 빠르게 안내드리겠습니다.☎
안녕하세요. 고객님들의 많은 관심과 문의에 진심으로 감사드립니다. 최근 유선 상담 문의가 급증하여 연결이 다소 지연될 수 있습니다. 전화 연결이 어려우실 경우, 보다 원활한 상담을 위해 게시판에 문의글을 남겨주시면 빠르게 순차 대응해드리겠습니다. 항상 따뜻한 관심과 믿고 찾아주셔서 감사합니다. 더 나은 서비스로 보답드릴 수 있도록 노력하겠습니다. 양해해주셔서 감사드리며, 앞으로도 변함없는 관심과 사랑 부탁드립니다. 감사합니다
|
|
|
1. 서장
2. 보다 정도 높은 예비사항들 3. 형식언어 L 4. 해석과 타당성 5. 자연언어를 L로 번역하기 6. 동어반복적 문장들 7. L 의 추론규칙들 8. 약간의 메타정리들 9. 동일성과 항들 10. L1에 대한 공리들 11. 형식화된 이론들 12. 논리학사의 개관 부록: 컴퓨터 논리 프로그램 |