도서상세보기

목차
001. 서장
002. 보다 정도 높은 예비사항들
003. 형식언어
004. 해석과 타당성
005. 자연언어를 &로 번역하기
006. 동어반복적 문장들
007. &의 추론규칙들
008. 약간의 메타정리들
009. 동일성과 항들?
010. &에 대한 공리들
011. 형식화된 이론들
012. 논리학사의 개관