Table of Contents

1. 서장 2. 보다 정도 높은 예비사항들 3. 형식언어 L 4. 해석과 타당성 5. 자연언어를 ?로 번역하기 6. 동어반복적 문장들 7. L의 추론규칙들 8. 약간의 메타정리들 9. 동일성과 항들 10. L1에 대한 공리들 11. 형식화된 이론들 12. 논리학사의 개관 부록: 컴퓨터 논리 프로그램 'Logician' 사용설명서