The Elements of Logic · Peter du Moulin Jr