여기서 검색한
Sentential logic + Predicate logic 책 말고도 따로 함께볼만한게 있을까요?