論理学の入門書では一押しの入門書。